Block or report user


@idris-lang @HaskellDC @psg-mit

Pinned repositories

  1. topology

    Formal topology (and some probability) in Coq

    Coq 16 5

  2. finite

    Facts about isomorphisms and finite types in Coq

    Coq 3

  3. HML

    Toy functional programming language compiling to x64 asm

    Haskell 2

  4. GaloisInc/lean-protocol-support

    This project contains various supporting libraries for lean to reason about protocols.

    Lean 19 2

269 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2018

Created a pull request in andrejbauer/marshall that received 3 comments

Evaluate tuples in the correct order

Previously, tuples would evaluate in reverse order: # #hnf (2, 3);; (2.0, 3.0) # (2, 3, True);; - : real*real*sigma = (True, 3.0, 2.0) With this p…

+3 −3 3 comments

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