search

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant
MIT License
11 stars 4 forks source link

Free localvars bug #27

Closed fredokun closed 3 years ago

fredokun commented 3 years ago

This is a fix for issue #24