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

Elaborator reflection #62

Open robrix opened 5 years ago

robrix commented 5 years ago

Elaborator reflection is a pretty neat metaprogramming mechanism, we should try it.

cf #2 re: do-notation cf #36 re: implicits