https://github.com/jfdm/idris-containers
History
Tip revision: a04f6ec117ec966d489238e0e95fea58e5b80bd0 authored by Jan de Muijnck-Hughes on 22 May 2020, 09:03:53 UTC
Merge pull request #29 from farrellm/fix/master/redblack-dependent
Tip revision: a04f6ec
File Mode Size
Data
Decidable
Test
examples
.gitattributes -rw-r--r-- 56 bytes
.gitignore -rw-r--r-- 373 bytes
.travis.yml -rw-r--r-- 508 bytes
CONTRIBUTING.md -rw-r--r-- 5.4 KB
CONTRIBUTORS.md -rw-r--r-- 180 bytes
INSTALL.org -rw-r--r-- 663 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 504 bytes
README.org -rw-r--r-- 1.8 KB
containers-test.ipkg -rw-r--r-- 836 bytes
containers.ipkg -rw-r--r-- 1.3 KB

README.org

back to top