Minigent recursive types - Githubissues

au-ts / cogent

Cogent Project

https://trustworthy.systems/projects/TS/cogent.pml

Other

158 stars 26 forks source link

Minigent recursive types #329

Closed emmet-m closed 4 years ago

emmet-m commented 4 years ago

Recursive Types for Minigent:

Adds mu keyword for boxed record syntax
Adds extra rules to solver for permitting recursive datatypes
Adds termination checking phase

As per #320