Skip to content
/ lamb Public

Reduction of untyped lambda terms 🐑 written in Haskell.

License

MIT license
0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

SyntakticSugar/lamb

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
Alpha.hs
Alpha.hs
 
 
Beta.hs
Beta.hs
 
 
Church.hs
Church.hs
 
 
LICENSE
LICENSE
 
 
Lamb.hs
Lamb.hs
 
 
Lambda.hs
Lambda.hs
 
 
README.md
README.md
 
 

Repository files navigation

Lamb 🐑

Reduction of untyped lambda terms written in Haskell.

About

Reduction of untyped lambda terms 🐑 written in Haskell.

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages