π΅βπ«
writing elaborators
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Stars
π± Module Systems - Case Studies
3 repositories
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Experimental implementations of ML-style modules in Scala
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples