Block or report user

Report or block effectfully

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

  1. OTT

    Observational Type Theory as an Agda library

    Agda 34 4

  2. STLC

    Dependently typed Algorithm M and friends

    Agda 20 1

  3. random-stuff

    Agda 14 4

  4. sketches

    Haskell 14 2

  5. prefolds

    Composable monadic short-circuiting streaming folds

    Haskell 13 2

  6. Eff

    Experiments with effect systems

    Agda 11 1

546 contributions in the last year

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

Contribution activity

November 2018

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

[CGP-401] [AST] Added IFix

This is a proof of concept. The only readable thing here is the rules. I'll just copy them here: -- [infer| pat :: (k -> *) -> k -> *] [check | arg…

+961 −463 25 comments

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