sweirich / replib

Replib: generic programming & Unbound: generic treatment of binders

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

Replib: generic programming & Unbound: generic treatment of binders

License:MIT License


Languages

Language:Coq 54.8%Language:Haskell 41.8%Language:HTML 1.4%Language:CSS 0.8%Language:TeX 0.6%Language:Makefile 0.6%