Milestone 0.5.0

Compilation Driver

1 / 1

Core Parser

0 / 1

Core Transforms

1 / 1

Core Type Checker

1 / 4

Core to Sea Translation

3 / 5

Libraries

0 / 1

Source Parser

1 / 2

Source Type Inferencer

0 / 3

Source to Core Translation

0 / 1

Unknown

0 / 1

Note: See TracRoadmap for help on using the roadmap.