Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Jun 28, 2011
  1. [fix] pass_Purge: not removing @opensums, @openrecord too early

    Valentin Gatien-Baron authored
    turns out that their annotations can be needed, because the type inside and outside the directive
    is not the same
    (unlike coerce, or @nonexpansive)
Commits on Jun 22, 2011
  1. [fix] pass_Purge: working around weird annotations of the typer

    Valentin Gatien-Baron authored
    on some forall
  2. [refactor] removing most typing directives sooner

    Valentin Gatien-Baron authored
Something went wrong with that request. Please try again.