Pinned Repositories
Arborius
board game ruleset
Boids-in-Motion
Forj
Forjtype
Lisp with first class types
linkedlist
socialmarkets
Idris2
A purely functional programming language with first class types
flintwinters's Repositories
flintwinters/Arborius
board game ruleset
flintwinters/Boids-in-Motion
flintwinters/Forj
flintwinters/Forjtype
Lisp with first class types
flintwinters/linkedlist
flintwinters/socialmarkets