Block or report user
  • Indiana University
  • Bloomington, Indiana, USA

Organizations

@idris-hackers

Popular repositories

  1. idris-type-providers

    Type provider library for Idris

    Idris 54 6

  2. IdrisAtGalois2015

    Slides and exercises for the Idris course taught at Galois

    Idris 41

  3. idris-quickcheck

    A port of QuickCheck to Idris

    Idris 37 4

  4. IdrisSqlite

    Effectful bindings for SQLite (forked from IdrisWeb)

    Idris 28 4

  5. pudding

    A language-integrated proof assistant, for and in Racket

    Racket 23 2

  6. tt-playground

    A playground for type theory implementations in Racket

    Racket 18

325 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

Created a pull request in idris-lang/Idris-dev that received 6 comments

Support presentations of abstract names in output

When Idris sends strings over the IDE protocol, it includes out-of-band semantic information that allows regions of the string to represent their u…

Created an issue in david-christiansen/frank.el that received 2 comments

Freezes when writing new code

Reported by a user: I just realised there seems to be a rather serious bug. Previously I'd only tried to use the emacs mode with existing code, wh…

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