Closed mlliarm closed 2 years ago
Hello,
Awesome project ! I'm really interested in Scala and the Curry-Howard isomorphism, so I thought that this project is really nice.
While
java -jar chi-0.3.0.jar
works pretty well, the java -jar chi-0.3.0.jar repl doesn't start the REPL. I get no error messages either.
java -jar chi-0.3.0.jar repl
Not sure what I might be doing wrong.
Please see attached image for the JVM I'm running.
Let me know if you need any extra info. Thanks !
Thanks for the report. I will look into it.
Hello,
Awesome project ! I'm really interested in Scala and the Curry-Howard isomorphism, so I thought that this project is really nice.
While
works pretty well, the
java -jar chi-0.3.0.jar repl
doesn't start the REPL. I get no error messages either.Not sure what I might be doing wrong.
Please see attached image for the JVM I'm running.
Let me know if you need any extra info. Thanks !