cogent icon indicating copy to clipboard operation
cogent copied to clipboard
verified publisher icon au-ts

Recursive Types

Open zilinc opened this issue 6 years ago • 0 comments

Synopsis

It's an undergrad thesis project. The goal is to add recursive datatypes (e.g. Lists, Trees) into Cogent. It will be implemented in Minigent, and is being ported to Cogent.

It doesn't have a full termination checker, which will be a separate project.

Progress

#329

zilinc avatar Nov 21 '19 03:11 zilinc