Skip to content




Block or Report

Block or report jespercockx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. A TACtic library for Agda

    Agda 42 1

  2. Agda lecture notes for the Functional Programming course at TU Delft

    TeX 27 1

  3. Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

    HTML 23

  4. Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

    HTML 14 2

  5. An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda's Implementor's Meeting.

    Agda 11 1

536 contributions in the last year

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

Contribution activity

June 2021

Created 4 commits in 2 repositories
Opened 1 pull request in 1 repository

Created an issue in agda/agda2hs that received 1 comment

Constructor with instance argument not compiled correctly (?)

Here's an example (by one of my students) of a datatype that is currently not handled correctly: mutual data Map (k : Set) (a : Set) : Set where Bin :

1 comment

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