Block or report user

Report or block ak3n

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. lambda-zoo

    Implementations of different lambda calculi with abstract binding trees.

    Haskell 10 2

  2. ghc/ghc

    Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

    Haskell 1.9k 546

  3. MLton/mlton

    The MLton repository

    Standard ML 418 85

  4. agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 543 89

  5. RedPRL/sml-redprl

    The People's Refinement Logic

    Standard ML 160 15

  6. system-f-pop

    OCaml 1

100 contributions in the last year

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

Contribution activity
Jump to

August 2018

Created an issue in janestreet/virtual_dom that received 8 comments

Can't build the current master on OS X

Hi! I'm trying to get started with incr_dom and got some problems with virtual_dom. I can't build incr_dom's counter example from master because th…

8 comments

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