Name		Name	Last commit message	Last commit date
.github		.github
profile		profile
src/Data		src/Data
test		test
.editorconfig		.editorconfig
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
containers.ipkg		containers.ipkg
pack.toml		pack.toml

Repository files navigation

idris2-containers

Assorted concrete container types

About

Assorted concrete container types

BSD-3-Clause license

Custom properties

9 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages