Constraints in the type checker

aya-prover / aya-dev

A proof assistant and a dependently-typed language

https://www.aya-prover.org

MIT License

278 stars 16 forks source link

Open ice1000 opened 4 months ago

ice1000 commented 4 months ago

Store a union-find data structure in the type checker and Eqn

ice1000 commented 4 months ago

Eqn done