issues
search
mmontin
/
libndt
A formal library on spreadable properties over linked nested datatypes
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Prove functorial properties
#11
pedagand
closed
1 year ago
1
Coq: GNDT through type-classes
#10
pedagand
opened
2 years ago
0
Numerical representations as GNDTs
#9
pedagand
opened
2 years ago
2
QuickChick !
#8
mmontin
opened
2 years ago
2
Bushtree and GNDT
#7
mmontin
opened
2 years ago
4
Fix levels of universes
#6
mmontin
opened
2 years ago
2
Higher degree GNDT
#5
mmontin
opened
2 years ago
0
Import PE branches
#4
mmontin
closed
1 year ago
0
Iterative (equivalent) definition of LNDT
#3
pedagand
closed
1 year ago
0
GNDT, without omega
#2
pedagand
opened
2 years ago
0
Generalize LNDT to support any signature functor
#1
pedagand
closed
1 year ago
0