search

latte-central / latte-kernel

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

Fix type-checking operand type in application #7

Closed zampino closed 4 years ago

zampino commented 4 years ago

There's a branch in control flow of type-of-app function which has no effect.

fredokun commented 4 years ago

Thx @zampino ... An illustration of why I should be using paredit !

fredokun commented 4 years ago

However, please try not "breaking" the leiningen workflow ... I fixed this in commit https://github.com/latte-central/latte-kernel/commit/d5ce7100c8d61b1d03f62beffbfcfe86814de98a

fredokun commented 4 years ago

... and all the maths libraries are working with the fix... good !