├── .github ├── README.md └── workflows │ └── gradle.yml ├── .gitignore ├── LICENSE ├── arend-io.iml ├── arend.yaml ├── meta ├── build.gradle.kts ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── settings.gradle.kts └── src │ └── main │ └── java │ └── org │ └── arend │ └── io │ ├── FakeStringTypechecker.java │ ├── IOExtension.java │ ├── PerformIOMeta.java │ ├── StringMeta.java │ └── StringUtil.java ├── src └── IO │ ├── Base.ard │ ├── FakeString.ard │ └── Files.ard └── test ├── Example.ard └── Proof.ard /.github/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/.github/README.md -------------------------------------------------------------------------------- /.github/workflows/gradle.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/.github/workflows/gradle.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/LICENSE -------------------------------------------------------------------------------- /arend-io.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/arend-io.iml -------------------------------------------------------------------------------- /arend.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/arend.yaml -------------------------------------------------------------------------------- /meta/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/build.gradle.kts -------------------------------------------------------------------------------- /meta/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /meta/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /meta/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/gradlew -------------------------------------------------------------------------------- /meta/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/gradlew.bat -------------------------------------------------------------------------------- /meta/settings.gradle.kts: -------------------------------------------------------------------------------- 1 | rootProject.name = "arend-io" 2 | -------------------------------------------------------------------------------- /meta/src/main/java/org/arend/io/FakeStringTypechecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/src/main/java/org/arend/io/FakeStringTypechecker.java -------------------------------------------------------------------------------- /meta/src/main/java/org/arend/io/IOExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/src/main/java/org/arend/io/IOExtension.java -------------------------------------------------------------------------------- /meta/src/main/java/org/arend/io/PerformIOMeta.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/src/main/java/org/arend/io/PerformIOMeta.java -------------------------------------------------------------------------------- /meta/src/main/java/org/arend/io/StringMeta.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/src/main/java/org/arend/io/StringMeta.java -------------------------------------------------------------------------------- /meta/src/main/java/org/arend/io/StringUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/meta/src/main/java/org/arend/io/StringUtil.java -------------------------------------------------------------------------------- /src/IO/Base.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/src/IO/Base.ard -------------------------------------------------------------------------------- /src/IO/FakeString.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/src/IO/FakeString.ard -------------------------------------------------------------------------------- /src/IO/Files.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/src/IO/Files.ard -------------------------------------------------------------------------------- /test/Example.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/test/Example.ard -------------------------------------------------------------------------------- /test/Proof.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ice1000/arend-io/HEAD/test/Proof.ard --------------------------------------------------------------------------------