Block or report user



Popular repositories

  1. cover

    a code coverage tool for racket

    Racket 22 4

  2. rkt-http

    a better racket library for http requests, modeled off clj-http

    Racket 10 1

  3. pop-pl

    A Patient-Oriented Prescription Programing Language

    Racket 9 1

  4. markov

    Markov Bots for Racket

    Racket 5

  5. rcrawler

    A distributed web crawler in racket

    Racket 2

  6. plot-bestfit

    Library for racket's plot that does lines of best fit

    Racket 2

127 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

June 2017

Created an issue in agda/agda that received 1 comment

internal error at src/full/Agda/TypeChecking/Rules/LHS.hs:496 on misspelled constructor names

A small example: module _ where data td : Set where constr : td test : td → td test x@(y) = {!!} (note that at x@(y) the "constructor name" is mis…

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