FFFF GitHub - dylan-thinnes/lambda-calculus: Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding) · GitHub
[go: up one dir, main page]
Skip to content

About

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

Activity

Stars

2 stars

Watchers

2 watching

Forks

1 fork
Report repository
BranchesTags

Latest commit

 

History

15 Commits

Folders and files

NameName
Last commit message
Last commit date
app
app
 
 
.gitignore
.gitignore
 
 
blc.cabal
blc.cabal
 
 

About

Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)

Activity

Stars

2 stars

Watchers

2 watching

Forks

1 fork
Report repository

Releases

Packages

Contributors

Languages
0