Skip to content
Snippets Groups Projects
Commit ae958610 authored by arthur-adjedj's avatar arthur-adjedj
Browse files

fix(proost): type-check terms before `Eval`uating

parent 14359b44
No related branches found
No related tags found
Pipeline #11838 passed with stages
in 8 minutes and 35 seconds