search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Recursive Types Syntax for Minigent #289

Closed emmet-m closed 4 years ago

emmet-m commented 5 years ago

Recursive types added into record syntax for Minigent.

I'm working on reverting a bunch of unnecessary changes - my linter went wild on a lot of files.

Please also address some questions I left under TODO's specifically in TC/ConstraintGen.hs:cgFunction