GitHub - ltics/utlclj: some stuff about utlc written in clojure · GitHub

Name		Name	Last commit message	Last commit date
src/utlc		src/utlc
test/utlc		test/utlc
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
project.clj		project.clj

Repository files navigation

utlc

church numeral
church boolean
operations use lambda logic

utlc is fun just enjoy it :)

About

some stuff about utlc written in clojure

church-numerals clojure untyped-lambda-calculus

EPL-1.0 license

Custom properties

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages