Media Summary: I've decided to live-stream my journey as I Have you heard about the lambda-calculus, dependent types, intuitionistic v.s. classical logic, or the Curry-Howard ... Discussion: Code quality - let the tab / space war commence.
Learn Clojure 6 Functions Clojure - Detailed Analysis & Overview
I've decided to live-stream my journey as I Have you heard about the lambda-calculus, dependent types, intuitionistic v.s. classical logic, or the Curry-Howard ... Discussion: Code quality - let the tab / space war commence.
