Solomon
Results
5
repositories owned by
Solomon
HowardLang
18
Stars
1
Forks
Watchers
An interpreted lambda calculus with Algebraic and Recursive Types.
monoidal-functors
16
Stars
2
Forks
Watchers
A library encoding monoidal functors and related structures in Haskell.
lambda-calculus-hs
42
Stars
3
Forks
Watchers
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques