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