├── .gitignore ├── Model.agda └── README.md /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai -------------------------------------------------------------------------------- /Model.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AndrasKovacs/antifunext/HEAD/Model.agda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AndrasKovacs/antifunext/HEAD/README.md --------------------------------------------------------------------------------