Skip to content


  • Arctic Code Vault Contributor


@prologin @dissemin @concolism


  1. A Library for Representing Recursive and Impure Programs in Coq

    Coq 117 29

  2. First-class type families

    Haskell 61 5

  3. IO for Gallina

    Coq 18 1

  4. Bidirectional programming in Haskell with monadic profunctors

    Coq 29 2

  5. Spot your own paywalled papers. Liberate them in one click.

    Python 158 20

  6. Generic data types in Haskell, utilities for GHC.Generics

    Haskell 32 4

718 contributions in the last year

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

Contribution activity

August 2020

Created a pull request in nomeata/inspection-testing that received 1 comment

Add (=/-)

As far as I'm concerned I only about equating terms up to ==-, and putting =/= as a reminder until it succeeds unexpectedly is not ideal because it…

+7 −1 1 comment

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

You can’t perform that action at this time.