belazy authored 2 years ago and loutr committed 2 years ago

Closes #33 🐔️👍️
Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* fix(kernel): complete beta-reduction

* chore(test): refactor + add lazy-static test dependency

* fix : remove unused branch, again

* chore : fix rebase

* Fix : Dependent application type-checking

* chore : misc.

* fix(kernel) remove unused parameter for `conversion`

* fix(kernel) : shift variables context

* fix(kernel) : substitute dependent products when infering

* chore(kernel) : add coverage

* Fix : check if binder type is indeed a type