Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
research:software:gradualtalk [2013/05/09 12:06] – etanter | research:software:gradualtalk [2013/05/09 13:01] – eallende |
---|
===== Download ===== | ===== Download ===== |
| |
The latest version of Gradualtalk can be found here: [[https://ci.inria.fr/rmod/job/Gradualtalk/|Gradualtalk (Jenkins)]] | There are two images to download: |
| |
There are two images: | * **[[http://www.pleiad.cl/gradualtalk/Gradualtalk.zip|Gradualtalk.zip]]**: The basic image of the Gradual Type System |
| * **[[http://www.pleiad.cl/gradualtalk/Gradualtalk-TypedKernel.zip|Gradualtalk-TypedKernel.zip]]**: Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed. |
* **Gradualtalk.zip**: The basic image of the Gradual Type System | |
* **Gradualtalk-TypedKernel.zip**: Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed. | |
| |
We recommend to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]]. | We recommend to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]]. |