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.
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