core-typed

Typed Clojure, an optional type system for Clojure
2019-06-28T17:44:40.001600Z

this went round Reddit today: https://ambrosebs.com/files/ambrosebs-phd-thesis.pdf

2019-06-28T17:44:43.001800Z

really enjoying it

2019-06-28T17:48:29.002600Z

something very pleasing about using beta-reduction to symbolically analyse a lisp using anonymous lambdas

2019-06-28T17:48:50.002800Z

turtles all the way down