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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Generate COMPLETE pragma for pattern synonyms
#26
fizruk
closed
1 month ago
0
Support split signatures
#25
fizruk
opened
1 month ago
0
Support delayed substitutions
#24
fizruk
opened
1 month ago
0
Derive what is possible via GHC Generics
#23
fizruk
opened
1 month ago
0
Add Church-encoded version of the free foil
#22
fizruk
opened
1 month ago
0
Add strict versions of the foil and free foil
#21
fizruk
opened
1 month ago
0
Support terms in patterns with Template Haskell
#20
fizruk
opened
1 month ago
0
Implement the typechecker for lambda-pi
#19
fizruk
opened
1 month ago
0
Singleton scope types
#18
fizruk
opened
1 month ago
0
Release v0.1.0
#17
fizruk
closed
1 month ago
0
Generalize patterns for free foil
#16
fizruk
closed
1 month ago
0
Fix builds on Hackage
#15
fizruk
opened
3 months ago
1
Generate Free Foil with Template Haskell
#14
fizruk
closed
3 months ago
0
Derive alpha equivalence with TH or Generics
#13
fizruk
opened
3 months ago
0
Add alpha equivalence
#12
fizruk
closed
3 months ago
0
Extend TH support to parametrised types
#11
fizruk
closed
3 months ago
0
Split lambda-pi into its own package
#10
fizruk
closed
3 months ago
0
Fix doctests
#9
fizruk
closed
3 months ago
0
Fix doctests
#8
fizruk
closed
3 months ago
0
Implement foil with int indentifiers
#7
p50000
closed
4 months ago
0
Template Haskell
#6
Wild-Queue
closed
6 months ago
0
Implement foil with int indices
#5
p50000
closed
10 months ago
0
add Foil in Scala
#4
KarinaTyulebaeva
closed
10 months ago
0
Foil implementation (Haskell)
#3
p50000
closed
10 months ago
0
Initialize Scala SBT project with generated files
#2
fizruk
closed
11 months ago
0
init scala directory
#1
KarinaTyulebaeva
closed
11 months ago
1