talk
- Purescript Servant ?!
- Metaprogramming in Purescript
- Adopting pure FP incrementally - Engineering at Lumi
- Teaching a Functional Language New Tricks
- Introduction to diagrammatics
- The Diagonal Argument and Algorithm W
- Purescript concrete syntax trees
- hs/ps-web3
- hs/ps-web3 live demo
- Urbit architecture overview
- Strongly typed contract storage
- Functions, Type classes, & Interpreters
- Category Tehory and Graphical injections: A vision of Advanced Knowledge Representation
- Declarative UIs are the Future, and the Future is Comonadic!