sweirich/replib

Replib: generic programming & Unbound: generic treatment of binders

Coq

47

61 commits

updated Oct 18, 2022

See the code

README

replib

Replib: generic programming & Unbound: generic treatment of binders

I've decided to end support for Replib and Unbound with GHC 8.8.3 and not update these libraries to GHC's latest version of Template Haskell. Since these libraries were introduced in 2006 and 2011, GHC has acquired intrinsic support for generic programming.

For future development, see the unbound-generics package, which is based on this more modern platform.

Contributors

sweirich

49 commits

serras

3 commits

chessai

3 commits

nomeata

2 commits

sweirich/replib

Replib: generic programming & Unbound: generic treatment of binders

Coq

47

61 commits

updated Oct 18, 2022

See the code

README

replib

Replib: generic programming & Unbound: generic treatment of binders

I've decided to end support for Replib and Unbound with GHC 8.8.3 and not update these libraries to GHC's latest version of Template Haskell. Since these libraries were introduced in 2006 and 2011, GHC has acquired intrinsic support for generic programming.

For future development, see the unbound-generics package, which is based on this more modern platform.

Contributors

sweirich

49 commits

serras

3 commits

chessai

3 commits

nomeata

2 commits

Languages

Coq

54.8%

Haskell

41.8%

HTML

1.4%