Block or report user
  • University of Glasgow
  • Europe

Popular repositories

  1. idris-containers

    Various data structures for use in the Idris Language.

    Idris 40 8

  2. pyPEBEL

    A python module to support the use of the IBE, ABE, and PBE family of asymmetric encryption schemes.

    Python 13 4

  3. idris-config

    Parsers for various configuration files written in Idris.

    Idris 13 4

  4. idris-xml

    A simple XML module for Idris.

    Idris 10 1

  5. idris-testing

    Testing Utilities for Idris programs.

    Idris 7 1

  6. smokehill

    Haskell 6

391 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

Created an issue in idris-lang/Idris-dev that received 2 comments

Idris report's warnings inconsitently between REPL and IDE-Mode

Given the following Idris code: data Foobar : String -> Type where MkFoobar : Foobar e elem : String elem = "ss" f : Foobar elem f = MkFoobar Idris…

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