issues
search
fizruk
/
free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
https://fizruk.github.io/free-foil/haddock/
BSD 3-Clause "New" or "Revised" License
6
stars
0
forks
source link
Generate Free Foil with Template Haskell
#14
Closed
fizruk
closed
3 months ago
fizruk
commented
3 months ago
[x] Generate signature (no complex patterns)
[x] Generate pattern synonyms for free foil terms
[x] Generate/derive conversion functions to free foil (no complex patterns)
[x] Generate/derive conversion functions from free foil (no complex patterns)
[x] Derive
ZipMatch
instance
[x] Use free foil with TH to implement $\lambda\Pi$-calculus (without typechecking)
ZipMatch
instance