Skip to content


  • Arctic Code Vault Contributor
  • Pro



Popular repositories

  1. Experimental implementation of Cubical Type Theory

    Haskell 436 71

  2. yacctt: Yet Another Cartesian Cubical Type Theory

    Haskell 62 6

  3. A Unifying Cartesian Cubical Set Model

    Agda 25 1

  4. Haskell library of algebraic topology

    Haskell 20 1

  5. Forked from michaelt/martin-lof

    papers of Per Martin Löf

    TeX 4

219 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in agda/cubical that received 8 comments

Parameterize structures by the carrier

Towards solving: #405 I've only modified the definition of monoids so far. Is this the right way to do this so that it works with #395 ? (Ping @eca…

+475 −688 8 comments

Created an issue in agda/cubical that received 1 comment

[Announcement] agda/cubical sprint at AIM XXXIII

I will host a code sprint on agda/cubical at AIM XXIII: I hope that many contributors to the li…

1 comment

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

You can’t perform that action at this time.