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

LSP server #72

Open robrix opened 5 years ago

robrix commented 5 years ago

We should provide editor integration via LSP.

robrix commented 5 years ago

This may warrant improvements to the parser in the vein of Ed Kmett’s work on monoidal parsing.