Skip to content


  1. Companion code for "Why Dependent Types Matter" paper.

    Agda 61 4

  2. Stub project showing how to organize tests and benchmarks in Haskell

    Haskell 27 3

  3. Verifying weight biased leftist heaps using dependent types in Agda

    TeX 6 1

  4. Weight-biased Leftist Heaps verified in Haskell using dependent types

    Haskell 5

  5. 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. 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 5

1,504 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri

Contribution activity

July 2020

Created an issue in links-lang/links that received 3 comments

"Type mismatch" IR typechecking error with Prelude `elemIndex`

Compiling elemIndex function from Prelude: sig elemIndex : (a, [a]) ~> Maybe(Int) fun elemIndex(x, xs) { var n = fold_left(fun(acc, y) { switch (ac…


Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.