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 13:01] – eallende | research:software:gradualtalk [2013/05/09 13:27] – eallende |
---|
There are two images to download: | There are two images to download: |
| |
* **[[http://www.pleiad.cl/gradualtalk/Gradualtalk.zip|Gradualtalk.zip]]**: The basic image of the Gradual Type System | * **{{research:software: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. | * **{{research:software: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. |
| |
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]]. |