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

Make `instance Semigroup Usage` do addition #100

Closed glaebhoerl closed 5 years ago

glaebhoerl commented 5 years ago

Just idly browsing and happened upon this, which looked slightly off. Feel free to close if I've misapprehended something :)