Back to search
Top Contributors
11
commits
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Stars
261
Forks
10
Watchers
261
Open Issues
0
Overall repository health assessment
No language data available
No package.json found
This might not be a Node.js project
11
commits