issues
search
robrix
/
path
A lambda calculus to explore type-directed program synthesis.
BSD 3-Clause "New" or "Revised" License
83
stars
2
forks
source link
Annotate all Surface terms
#99
Closed
robrix
closed
5 years ago
robrix
commented
5 years ago
This PR adds annotations to all
Surface
terms.
This PR adds annotations to all
Surface
terms.