Name Last modified Size
../ frege/ 10-Feb-2024 21:56 - frege-gradle-plugin/ 10-Feb-2024 21:26 - frege-interpreter-core/ 10-Feb-2024 20:57 - frege-interpreter-distribution/ 19-Feb-2024 22:59 - frege-interpreter-java-support/ 19-Feb-2024 22:59 - frege-native-gen/ 10-Feb-2024 21:23 - frege-repl-core/ 10-Feb-2024 21:28 - frege-repl-nativedeps/ 10-Feb-2024 20:51 - frege-script-engine/ 10-Feb-2024 21:26 -