Skip to content
This repository has been archived by the owner on May 20, 2018. It is now read-only.

Elaborate terms in modules #163

Open
robrix opened this issue Nov 5, 2015 · 1 comment
Open

Elaborate terms in modules #163

robrix opened this issue Nov 5, 2015 · 1 comment
Labels

Comments

@robrix
Copy link
Contributor

robrix commented Nov 5, 2015

Elaborating terms on entry into the module will allow stronger guarantees (“Module is correct by construction”).

@robrix
Copy link
Contributor Author

robrix commented Dec 12, 2015

It’s probably better to describe this as an ElaboratedModule or AnnotatedModule of AnnotatedTerms.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

No branches or pull requests

1 participant