Block or report user
  • University of Maryland
  • College Park, MD



Popular repositories

  1. z3-rkt

    Forked from sid0/z3.rkt

    Racket bindings for Z3

    Racket 14 1

  2. soft-contract

    A prototype of soft contract verification for an untyped functional language

    Racket 11 5

  3. halo


  4. learnxinyminutes-docs

    Forked from adambard/learnxinyminutes-docs

    Code documentation written as code! How novel and totally my idea!

  5. free-programming-books

    Forked from EbookFoundation/free-programming-books

  6. CMSC702

    Forked from hcorrada/CMSC702

    Repo for Computational Systems Biology and Functional Genomics @ University of Maryland, College Park


947 contributions in the last year

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 racket/typed-racket that received 20 comments

Regression in type-checking elements of `in-naturals` sequence

What version of Racket are you using? v6.10.0.1 What program did you run? #lang typed/racket (for/list : (Listof Natural) ([s '(foo bar)] [i : Natu…

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