Block or report user

Report or block psygnisfive

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • San Francisco

Popular repositories

  1. SimpleFP-v2

    A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

    Haskell 108 5

  2. so-you-want-to-write-a-type-checker

    JavaScript 42

  3. SimpleFP

    A series of implementations of a simple functional programming language.

    Haskell 27

  4. Haskell-Chart-Parser

    Haskell 15 1

  5. LensTutorial

    Haskell 11 1

  6. GenericEvaluators

    A technique for implementing evaluators of various styles, independent of any particular lambda calculus.

    Haskell 7

284 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 8 comments

[CGP-411] Declarative Type System

Pursuant to CGP 411. This branch replaces the main type system we currently have w/ one that uses a declarative equality for types only. In all the…

+53 −31 8 comments

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