- Bloomington, IN, USA
-
21:02
(UTC -04:00) - https://strager.net/
- strager
- @strager_
- @strager
Stars
5
stars
written in Haskell
Clear filter
A statically typed concatenative systems programming language.
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Comparison of build program expressive power
strager / kitten
Forked from evincarofautumn/kittenKitten Programming Language