Block or report user

Report or block emilypi

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@scalaz @cohomolo-gy

Pinned repositories

  1. lets-lens

    Forked from data61/lets-lens

    Solutions for the Lets-Lens Course Material

    Haskell

  2. reflex

    Forked from reflex-frp/reflex

    Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with est…

    Haskell

  3. waargonaut

    Forked from qfpl/waargonaut

    JSON decoding/encoding/manipulation library.

    Haskell

  4. haskell-resources

    Forked from cohomolo-gy/haskell-resources

    A List of Foundational Haskell Papers

    1

  5. generic-syntax

    Forked from gallais/generic-syntax

    A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

    Agda

  6. plfa.github.io

    Forked from plfa/plfa.github.io

    Introduction to programming language theory in Agda.

    Agda

403 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity
Jump to

November 2018

Created a pull request in kadena-io/pact that received 6 comments

[WIP - Bug Analysis w/ Colin] Signature Feature: Concatenate Model Constraints

This PR adds the necessary functionality to concatenate meta-constraints defined in interfaces with corresponding module implementations. WIP: hspec …

+27 −17 • 6 comments
5 contributions in private repositories Nov 14 – Nov 16

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