Skip to content
Avatar
16 followers · 5 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report casvdrest

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. staged-effects.agda Public

    Artefact supporting our PEPM21 short paper submission

    Agda 5 1

  2. generating-indexed Public

    Enumeration for indexed datatypes

    TeX 5

  3. enumerator.agda Public

    Agda 2

  4. composable-semantics Public

    Composable intrincially-typed definitional interpreters

    Agda 13 3

702 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to heft-lang/heft, casvdrest/agda-finally-tagless, casvdrest/composable-semantics and 3 other repositories

Contribution activity

August 2022

19 contributions in private repositories Aug 4 – Aug 12

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