LINKED LIST [txt mode] ▸ Implement With Types, Not Your Brain!

home explore | log in

Implement With Types, Not Your Brain!

reasonablypolymorphic.com · first added by @afreshcup · 2026-09-30 · 1 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

─── Discussions ────────────────────────────────────────

* Implement with Types, Not Your Brain

103 pts · 140 comments · node

─── From the discussion ────────────────────────────────

* F*: A Proof-Oriented Programming Language

fstar-lang.org · node

* Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

youtube.com · node

* Haskell/The Curry–Howard isomorphism - Wikibooks, open books for an open world

en.wikibooks.org · node

* GitHub - woutervh-/typescript-is

github.com · node

* Emacs Mode — Agda 2.5.2 documentation

agda.readthedocs.io · node