isaac21259
- Karma
- 554
- Created
- 8 years ago
Recent Submissions
- 1. ▲ Data Types with Negation (bentnib.org)
- 2. ▲ Teaching GHC to Play Minesweeper (github.com)
- 3. ▲ Switching to the meow modal editing system (esrh.me)
- 4. ▲ Profunctor Optics: The Categorical View (golem.ph.utexas.edu)
- 5. ▲ How to lie using visual proofs (youtube.com)
- 6. ▲ Löb and möb: strange loops in Haskell (github.com)
- 7. ▲ Löb's Theorem (ncatlab.org)
- 8. ▲ Can one explain schemes to biologists (dam.brown.edu)
- 9. ▲ (call/cc call/cc) and friends (pavpanchekha.com)
- 10. ▲ Swift type checking is undecidable (forums.swift.org)