search

gracelang / language

Design of the Grace language and its libraries
GNU General Public License v2.0
6 stars 1 forks source link

Manifest #158

Closed apblack closed 6 years ago

apblack commented 6 years ago

This PR is an attempt at an extensional definition of manifest. Please help to improve it.