Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@input-output-hk @dpndnt @monadfix
Block or Report

Pinned

  1. Code challenges to solve with Haskell

    Haskell 31 10

  2. A tutorial on how Agda infers things

    HTML 16 1

  3. A library for doing generic programming in Agda

    Agda 17 4

  4. A dependently typed type checker for a TT with intervals

    Agda 19 1

  5. Observational Type Theory as an Agda library

    Agda 43 3

511 contributions in the last year

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

Contribution activity

April 2021

Created 5 commits in 1 repository

Created a pull request in input-output-hk/plutus that received 2 comments

[Evaluation] Dropped 'StateT' from the CEK machine

Don't look here yet.

+69 −42 2 comments

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