All Git Users → konn

3 open source projects by konn

[ Open user page on Github ]

1. Equational Reasoning In Haskell

Agda-style equational reasoning in Haskell

✭ 45

2. type-natural

Type-level well-kinded natural numbers.

✭ 32

haskell ghc type-level type-level-programming

3. satysfi-steamer

Steamer: presentation in SATySFi

✭ 14

1-3 of 3 user projects