This repository was archived by the owner on Jun 1, 2022. It is now read-only.
This repository was archived by the owner on Jun 1, 2022. It is now read-only.
First class types #595
Description
Remove type-specific nodes.
Allow types within terms.
Add type operations to terms.
Keep type declaration for tagged types.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status