singleton-typelits

Singletons and induction schemes for GHC TypeLits.

BSD-3-CLAUSE License

Downloads
1.4K
Stars
3
Committers
1
View Code on GitHub Visit Website
Ecosystems: Haskell

No README available, please check again later.

Package Rankings
Top 38.36% on Hackage.haskell.org
Related Projects
mchost

A Minecraft server in Haskell.

17 Sep 2011 7
functional-kmp

KMP implemented on haskell's built-in cons-cell-based lists.

29 Aug 2015 6
finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.

03 Nov 2015 8
cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5
HUnit-Diff

22 Jan 2012 4
presentations

Presentations on Liquid Haskell, type theory, and more

28 Oct 2016 43
mtl-c

Monad transformers in CPS

09 Mar 2013 11
haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4
ncc

A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic ...

17 Jun 2013 5
simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
type-int

Type level 2's and 16's complement arithmetic (old)

14 Jun 2010 4
hskit

luakit but in haskell

05 May 2019 8
discord-eval

A discord frontend for an interactive interpreter bot

18 Jan 2019 20