Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/phipsgabler/lambdacalculus.jl

Representations of lambda terms in a form you can work with
https://github.com/phipsgabler/lambdacalculus.jl

de-bruijn-notation lambda-calculus lambda-expressions locally-nameless

Last synced: 25 days ago
JSON representation

Representations of lambda terms in a form you can work with

Host: GitHub
URL: https://github.com/phipsgabler/lambdacalculus.jl
Owner: phipsgabler
License: other
Created: 2017-10-30T15:25:48.000Z (about 7 years ago)
Default Branch: master
Last Pushed: 2018-11-30T12:35:12.000Z (almost 6 years ago)
Last Synced: 2024-03-16T14:39:19.840Z (8 months ago)
Topics: de-bruijn-notation, lambda-calculus, lambda-expressions, locally-nameless
Language: Julia
Homepage:
Size: 85.9 KB
Stars: 2
Watchers: 2
Forks: 0
Open Issues: 5