Skip to content
Avatar
172 followers · 240 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

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

Block or report effectfully

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. effectfully-ou/haskell-challenges Public

    Code challenges to solve with Haskell

    Haskell 64 19

  2. effectfully-ou/sketches Public

    A Haskell blog

    Haskell 94 5

  3. inference-in-agda Public

    A tutorial on how Agda infers things

    HTML 22

  4. Generic Public

    A library for doing generic programming in Agda

    Agda 25 4

  5. Cubes Public

    A dependently typed type checker for a TT with intervals

    Agda 18 1

  6. OTT Public

    Observational Type Theory as an Agda library

    Agda 42 3

524 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to input-output-hk/plutus, effectfully-ou/haskell-challenges, input-output-hk/marlowe-website and 5 other repositories

Contribution activity

January 2022

Created 4 commits in 1 repository

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

[Builtins] Monomorphize 'readKnown'

Do not look here yet.

+37 −21 • 29 comments
Opened 6 other pull requests in 1 repository
Reviewed 2 pull requests in 1 repository

Created an issue in Zekt/Type-Embellishment that received 2 comments

Expressiveness of ornaments

I've been looking into your development (cool stuff!), and I got a question: is your machinery expressive enough to represent an ornament from dat…

2 comments
Opened 1 other issue in 1 repository
3 contributions in private repositories Jan 3 – Jan 4

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