Everything-I-Know-About-Types
An Elm re-implementation of bergamot.
Updated 2023-12-22 21:59:57 -08:00
A tiny little logic programming language
Updated 2023-10-15 17:54:42 -07:00
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Updated 2023-03-12 22:17:22 -07:00
A unification monad implemented using PureScript.
Updated 2023-03-12 21:05:17 -07:00