¦ Atom ¦ RSS Tags > Tag: Mathematics

Constructive Mathematics in F# (and Clojure)

(Tell me what a terrible person I am on Hacker News.)

For as long as I can remember^1^ I've dreamed of reimplementing the entirety of mathematics from scratch. And now that I've finished the "Wheel of Time" series I have a little bit of extra time on ...

2013-08-26 06:23 AM

© Joel Grus. Built using Pelican. Theme based on pelican-svbhack. .