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
🔥 the Elab effect
#93
Closed
robrix
closed
5 years ago
robrix
commented
5 years ago
It’s not really buying us anything.
It’s not really buying us anything.