login sign up

Implement With Types, Not Your Brain!

reasonablypolymorphic.com · first added by @afreshcup
saved by
1 person
discussions · 1
Implement with Types, Not Your Brain 103 pts · 140 comments · Jun 2019 103 pts · 140 comments · Jun 2019
0 people saved or upvoted this
from the discussion · 5
F*: A Proof-Oriented Programming Language fstar-lang.org fstar-lang.org
1 person saved or upvoted this
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 youtube.com youtube.com
0 people saved or upvoted this
Haskell/The Curry–Howard isomorphism - Wikibooks, open books for an open world en.wikibooks.org en.wikibooks.org
0 people saved or upvoted this
GitHub - woutervh-/typescript-is github.com github.com
0 people saved or upvoted this
Emacs Mode — Agda 2.5.2 documentation agda.readthedocs.io agda.readthedocs.io
0 people saved or upvoted this