├── .gitignore ├── .travis.yml ├── LICENSE ├── README.agda ├── Setup.hs ├── examples ├── cat.agda ├── find.agda ├── lsR.agda ├── read.agda └── stopwatch.agda ├── sizedIO.agda-lib ├── sizedIO.cabal ├── src ├── Codata │ ├── IO.agda │ └── IO │ │ ├── Core.agda │ │ ├── Primitive.agda │ │ └── Types.agda ├── Data │ └── String │ │ └── Extras.agda └── System │ ├── CPUTime.agda │ ├── CPUTime │ └── Primitive.agda │ ├── Clock.agda │ ├── Clock │ └── Primitive.agda │ ├── Directory.agda │ ├── Directory │ ├── Primitive.agda │ └── Tree.agda │ ├── Environment.agda │ ├── Environment │ └── Primitive.agda │ ├── FilePath │ ├── Posix.agda │ └── Posix │ │ └── Primitive.agda │ └── Info.agda └── travis ├── install_agda.sh └── libraries /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | *~ 3 | */MAlonzo/* 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/LICENSE -------------------------------------------------------------------------------- /README.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/README.agda -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/cat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/examples/cat.agda -------------------------------------------------------------------------------- /examples/find.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/examples/find.agda -------------------------------------------------------------------------------- /examples/lsR.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/examples/lsR.agda -------------------------------------------------------------------------------- /examples/read.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/examples/read.agda -------------------------------------------------------------------------------- /examples/stopwatch.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/examples/stopwatch.agda -------------------------------------------------------------------------------- /sizedIO.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/sizedIO.agda-lib -------------------------------------------------------------------------------- /sizedIO.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/sizedIO.cabal -------------------------------------------------------------------------------- /src/Codata/IO.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/Codata/IO.agda -------------------------------------------------------------------------------- /src/Codata/IO/Core.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/Codata/IO/Core.agda -------------------------------------------------------------------------------- /src/Codata/IO/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/Codata/IO/Primitive.agda -------------------------------------------------------------------------------- /src/Codata/IO/Types.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/Codata/IO/Types.agda -------------------------------------------------------------------------------- /src/Data/String/Extras.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/Data/String/Extras.agda -------------------------------------------------------------------------------- /src/System/CPUTime.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/CPUTime.agda -------------------------------------------------------------------------------- /src/System/CPUTime/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/CPUTime/Primitive.agda -------------------------------------------------------------------------------- /src/System/Clock.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Clock.agda -------------------------------------------------------------------------------- /src/System/Clock/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Clock/Primitive.agda -------------------------------------------------------------------------------- /src/System/Directory.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Directory.agda -------------------------------------------------------------------------------- /src/System/Directory/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Directory/Primitive.agda -------------------------------------------------------------------------------- /src/System/Directory/Tree.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Directory/Tree.agda -------------------------------------------------------------------------------- /src/System/Environment.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Environment.agda -------------------------------------------------------------------------------- /src/System/Environment/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Environment/Primitive.agda -------------------------------------------------------------------------------- /src/System/FilePath/Posix.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/FilePath/Posix.agda -------------------------------------------------------------------------------- /src/System/FilePath/Posix/Primitive.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/FilePath/Posix/Primitive.agda -------------------------------------------------------------------------------- /src/System/Info.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/src/System/Info.agda -------------------------------------------------------------------------------- /travis/install_agda.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/travis/install_agda.sh -------------------------------------------------------------------------------- /travis/libraries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gallais/agda-sizedIO/HEAD/travis/libraries --------------------------------------------------------------------------------