Fixed bug on 0-arity references

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant

MIT License

11 stars 4 forks source link

Closed AustenPrinciple closed 4 years ago

AustenPrinciple commented 4 years ago

I also simplified a bit the evaluation function, since the local variables env & bound were redundant.