Hacker News
- Proof in Functions http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 3 comments
- Proof in functions: Curry-Howard explained through Swift code http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 8 comments programming
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- De Morgan's laws - Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 21 comments
- Coq - Wikipedia https://en.wikipedia.org/wiki/Coq 5 comments
- Continuation-passing style - Wikipedia https://en.wikipedia.org/wiki/Continuation-passing_style 1 comment
- Curry–Howard correspondence - Wikipedia http://en.wikipedia.org/wiki/Curry–Howard_correspondence 1 comment
Related searches:
Search whole site: site:fewbutripe.com
Search title: Proof in Functions
See how to search.