Files
-
impossible-source
size: 50Kb, downloads: 8643
Impossible! source code (rev 65)
-
impossible-osx-x64
size: 1.2Mb, downloads: 8423
Impossible! binary for Mac OS X x64
-
impossible-linux-x64
size: 1.0Mb, downloads: 8397
Impossible! binary for Ubuntu Linux x64
-
camomile-database
size: 604Kb, downloads: 8465
OCaml Camomile configuration needed for Impossible! if you download binary version.
Documents
-
type-reconstruction
size: 0Kb, downloads: 10306
A short paper on Type Reconstruction, it explains and proves the soundness of a constraint-based typing scheme.