I heartily recommend @edwinbrady's 'Type-Driven Development with Idris' to anyone who likes their horizons expanded.https://www.manning.com/books/type-driven-development-with-idris …
-
-
No problem. A bit niche for the thread, but I've been thinking about the philosophy as a logical extension of intuitionism.
-
If proof is construction and truth in the mind, makes sense to consider construction of programs and the view from the editor.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.