search

JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
694 stars 33 forks source link

REPL doesn't see test modules #239

Closed valis closed 3 years ago

valis commented 4 years ago

\import Foobar doesn't work if Foobar is in test directory.