Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@entropia

Popular repositories

  1. The Incredible Proof Machine

    Haskell 266 29

  2. Inspection Testing for Haskell

    Haskell 144 17

  3. Let GHC prove program equations for you

    Haskell 141 6

  4. arbtt, the automatic rule-based time-tracker

    Haskell 136 17

  5. A magic typeclass that just does it

    Haskell 117 3

  6. Hopefully verifiable code generation in GHC

    Haskell 92 6

3,507 contributions in the last year

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

Contribution activity

November 2020

Created a pull request in dfinity/candid that received 5 comments

Spec: Refactor description of deserialization

This is a significant rewirte of the section in the spec describing deserialization. Some points worth noting: This replaces the elaboration rela…

+183 −103 5 comments
Reviewed 4 pull requests in 4 repositories
NixOS/nixpkgs 1 pull request
entropia/tip-toi-reveng 1 pull request
ghc-proposals/ghc-proposals 1 pull request
dfinity/candid 1 pull request

Created an issue in input-output-hk/haskell.nix that received 18 comments

Use of `evalPackages` in lib/cabal-project-parser.nix problematic

Not sure if there is a cure… I am building a project that wants to use source-repository-package in its cabal.project, and I am setting sha256 as o…

18 comments
33 contributions in private repositories Nov 2 – Nov 9

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

You can’t perform that action at this time.