All Git Users → lamdu

3 open source projects by lamdu

[ Open user page on Github ]

lamdu - towards the next generation IDE

✭ 1,708

haskell javascript Nix shell Inno Setup Dhall integrated-development-environment programmer-tool

Hypertypes - generic programming for heterogeneous recursive types

✭ 83

3. lamdu-calculus

An extended typed Lambda Calculus

✭ 19

1-3 of 3 user projects