Branches - glv/lambda-calculus - Codeberg.org

This website requires JavaScript.

glv/lambda-calculus

Fork 0

Code Issues Pull requests Projects Releases 1 Packages Wiki Activity

7 commits 1 branch 2 tags 50 KiB

Default branch

master

d7b7ee6f38 · Add the theta combinator · Updated 2017年10月21日 13:40:53 +02:00

ZIP TAR.GZ

Branches

Delete branch

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?