free variable capture for local definitions in proofs - Githubissues

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant

MIT License

11 stars 4 forks source link

free variable capture for local definitions in proofs #24

Closed fredokun closed 3 years ago

fredokun commented 3 years ago

The somewhat infrequent bug is described there : https://github.com/latte-central/latte-nats/blob/fe91c62d62495a540c5c60edb5b7b0e427d8ecf9/src/latte_nats/rec.clj

fredokun commented 3 years ago

Solved by commit https://github.com/latte-central/latte-kernel/commit/56643afa95628707a5acb7e2cab1d74cfbe97dd2