search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Olly doesn't do De-Bruijn #32

Closed wilbowma closed 8 years ago

wilbowma commented 8 years ago

Currently, Olly claims to use De-Bruijn to handle binding. This is nonsense. I'm not sure what I'm doing.

wilbowma commented 8 years ago

This is fixed in the branch olly-rewrite, but going to finish cleaning up the rest of olly before merging.