Missing build dependency on redex-lib for cur-test - Githubissues

wilbowma / cur

A less devious proof assistant

BSD 2-Clause "Simplified" License

222 stars 18 forks source link

Missing build dependency on redex-lib for cur-test #39

Closed SuzanneSoy closed 8 years ago

wilbowma commented 8 years ago

Thanks!