UniverseTypeSystem

Jump to bottom Edit New page

Attila Sukosd edited this page Mar 15, 2013 · 2 revisions

Explanation

WikiInclude(UniverseTypeSystemExplanation)

Milestones and Tickets

Please use the SourceForge tracker.

Example

WikiInclude(UniverseTypeSystemExample)

News and Status

WikiInclude(UniverseTypeSystemNews)

Owners

Dependencies and Subcomponents

The ETHZ JML2 Plugin contains a type checker for the Universe Type System

Version: 2 Time: Tue Oct 7 21:10:16 2008 Author: wdietl (None) IP: 129.132.105.183

Add a custom sidebar

Clone this wiki locally