CakeML / CakeML/pure

Parsing for TypeClassLang

Open
#60 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

**Redirect parsing to target TypeClassLang**

Aside from PureLang's existing constructs, this will need to handle:
- `class` and `instance` declarations
- contexts/type class constraints in types
- TypeClassLang's new top-level program structure
- pattern guards
- type annotations at the expression-level

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.