This repository was archived by the owner on Nov 1, 2018. It is now read-only.
tdecl
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains code to convert type-related declarations to definition form.