Files

  • impossible-source

    size: 50Kb, downloads: 6967

    Impossible! source code (rev 65)

  • impossible-osx-x64

    size: 1.2Mb, downloads: 6852

    Impossible! binary for Mac OS X x64

  • impossible-linux-x64

    size: 1.0Mb, downloads: 6906

    Impossible! binary for Ubuntu Linux x64

  • camomile-database

    size: 604Kb, downloads: 6938

    OCaml Camomile configuration needed for Impossible! if you download binary version.

Documents

  • type-reconstruction

    size: 0Kb, downloads: 9565

    A short paper on Type Reconstruction, it explains and proves the soundness of a constraint-based typing scheme.