Giters
ucsd-progsys
/
elsa
Elsa is a lambda calculus evaluator
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
181
Watchers:
7
Issues:
10
Forks:
20
ucsd-progsys/elsa Watchers
atomczyk
eemailme
Franklin Chen
FranklinChen
James Cloos
jhcloos
quewean
Ranjit Jhala
ranjitjhala
slerner