search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

Use TypeCheck.jl to sort-check instances #159

Open olynch opened 1 week ago

olynch commented 1 week ago

We could use https://github.com/astrieanna/TypeCheck.jl to get static guarantees that instances of theories were at least sort-correct. Could be pretty useful.

olynch commented 1 week ago

Oh wait, that's 10 years old; I thought it was only 1 year old.

olynch commented 1 week ago

We could use https://github.com/julia-vscode/StaticLint.jl.

olynch commented 1 week ago

Or just code_typed.