Name Last modified Size
../ frege-interpreter-core/ 03-Mar-2024 07:57 - frege-interpreter-java-support/ 03-Mar-2024 07:26 - frege-native-gen/ 03-Mar-2024 08:02 - frege-repl-core/ 07-Mar-2024 01:56 - org.frege-lang.gradle.plugin/ 26-Jun-2022 11:59 -