Files

• impossible-source

  size: 50Kb, downloads: 7981

  Impossible! source code (rev 65)

• impossible-osx-x64

  size: 1.2Mb, downloads: 7893

  Impossible! binary for Mac OS X x64

• impossible-linux-x64

  size: 1.0Mb, downloads: 7881

  Impossible! binary for Ubuntu Linux x64

• camomile-database

  size: 604Kb, downloads: 7951

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

Documents

• type-reconstruction

  size: 0Kb, downloads: 10079

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