@hackage / unbound-generics

Support for programming with names and binders using GHC Generics

0.4.5

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / clash-ghc Clash: a functional hardware description language - GHC frontend
- Version: 1.10.0
- Last uploaded: 3 months ago
- License: BSD-2-Clause
@hackage / clash-lib Clash: a functional hardware description language - As a library
- Version: 1.10.0
- Last uploaded: 3 months ago
- License: BSD-2-Clause
@hackage / disco Functional programming language for teaching discrete math.
- Version: 0.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / jsonnet Jsonnet implementaton in pure Haskell
- Version: 0.4.0.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / pi-forall Demo implementation of typechecker for dependently-typed language
- Version: 0.1.1
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / unbound-generics-unify Unification based on unbound-generics
- Version: 0.1.1
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / unbound-kind-generics Support for programming with names and binders using kind-generics
- Version: 0.2.1.1
- Last uploaded: 3 years ago
- License: BSD-3-Clause