├── .gitignore ├── README.md ├── app.ipkg ├── src └── Control │ ├── App.idr │ └── App │ ├── Console.idr │ └── FileIO.idr └── tests ├── Counter.idr ├── Door.idr ├── DoorL.idr ├── Random.idr ├── ReadFile.idr ├── TestEx.idr └── Thread.idr /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/README.md -------------------------------------------------------------------------------- /app.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/app.ipkg -------------------------------------------------------------------------------- /src/Control/App.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/src/Control/App.idr -------------------------------------------------------------------------------- /src/Control/App/Console.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/src/Control/App/Console.idr -------------------------------------------------------------------------------- /src/Control/App/FileIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/src/Control/App/FileIO.idr -------------------------------------------------------------------------------- /tests/Counter.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/Counter.idr -------------------------------------------------------------------------------- /tests/Door.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/Door.idr -------------------------------------------------------------------------------- /tests/DoorL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/DoorL.idr -------------------------------------------------------------------------------- /tests/Random.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/Random.idr -------------------------------------------------------------------------------- /tests/ReadFile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/ReadFile.idr -------------------------------------------------------------------------------- /tests/TestEx.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/TestEx.idr -------------------------------------------------------------------------------- /tests/Thread.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/IdrisApp/HEAD/tests/Thread.idr --------------------------------------------------------------------------------