├── .gitignore ├── LICENSE ├── README.md └── src └── Linear.agda /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zaklogician/linear-constructive/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zaklogician/linear-constructive/HEAD/README.md -------------------------------------------------------------------------------- /src/Linear.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zaklogician/linear-constructive/HEAD/src/Linear.agda --------------------------------------------------------------------------------