Group 8 - Disjoint Union Types

Objective

Adding Disjoint Union Types to P0

Proposal

If you would like to view my proposal for implementing Disjoint Union Types into P0, please see proposal/PROPOSAL_DUT.md. Please note that I was previously considering working on a partial evaluation project but I have since decided to continue through with the disjoint unions project.

Documentation

Please see the docs folder for all information related to this project.

Usage

Please refer to the src folder's README file for all information regarding using the compiler.

Tests

Please refer to the src folder's README and src/tests/ folder's README file for all information regarding tests performed on the compiler.

Presentation

If you would like to view the presentation, please visit the presentation folder's presentation.pdf file.

Members

• Jason Balaci (balacij)