Block or report user

Popular repositories

  1. hxt

    Forked from UweSchmidt/hxt

    Haskell XML Toolbox

    Haskell

  2. Pivotal

    Forked from pigworker/Pivotal

    Agda

  3. agda-prelude

    Forked from UlfNorell/agda-prelude

    Programming library for Agda

    Agda

  4. scratch

    Agda

  5. agda-stdlib

    Forked from agda/agda-stdlib

    The Agda standard library

    Agda

  6. oscar

    Common Lisp

1,057 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

December 2017

Created an issue in agda/agda that received 2 comments

inconsistency from a mutual datatype declaration and module definition

There's a problem with Agda allowing the definition of a (not-really-)mutually-defined datatype in a submodule to where it is declared. The followi…

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