Block or report user

Pinned repositories

  1. AutoInAgda

    An implementation of a first-order auto tactic for Agda, in Agda.

    Agda 19 5

  2. sf


  3. inblackandwhite

    Script to create and maintain a grayscale copy of a Tumblr blog.

    Python 1

  4. Breadbox

    A distant cousin of '20 Questions'.


  5. NLQ

    My Master's thesis. A type system for natural language which can efficiently parse sentences, and can analyse quantifiers, scope islands, indefinites, extraction and relative clauses with gaps.


  6. agda2html

    Convert literate Agda to HTML using the Agda syntax highlighter and some cutting and pasting.


430 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in agda/agda-stdlib that received 2 comments

Added syntax for existential quantifiers.

Is there any particular reason these weren't added years ago? I might have missed some particular discussion about this.

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