All Git Users → jstolarek

2 open source projects by jstolarek

[ Open user page on Github ]

1. haskell-testing-stub

Stub project showing how to organize tests and benchmarks in Haskell

✭ 27

2. why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

✭ 59

Agda haskell Idris

1-2 of 2 user projects