juvix typecheck
with no file argument typechecks all project
#7784
Loading
juvix typecheck
with no file argument typechecks all project
#7784