Fix require/provide - Githubissues

wilbowma / cur

A less devious proof assistant

BSD 2-Clause "Simplified" License

222 stars 18 forks source link

Fix require/provide #15

Closed wilbowma closed 7 years ago

wilbowma commented 9 years ago

Currently, cur ignores many require/provide specs and does what it wants. Some code exists to do the right thing, but is currently not enabled due to an infestation of unknown bugs.