Pinned

1. why-dependent-types-matter Public archive

   Companion code for "Why Dependent Types Matter" paper.

   Agda 59 4

2. haskell-testing-stub Public archive

   Stub project showing how to organize tests and benchmarks in Haskell

   Haskell 27 2

3. dep-typed-wbl-heaps Public archive

   Verifying weight biased leftist heaps using dependent types in Agda

   TeX 6 1

4. dep-typed-wbl-heaps-hs Public archive

   Weight-biased Leftist Heaps verified in Haskell using dependent types

   Haskell 5

5. skye-dsh Public

   Companion code for paper "Language-integrated Provenance in Haskell", Jan Stolarek and James Cheney, The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 11

   Haskell 3 1

6. slicer Public

   Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

   Haskell 6