https://github.com/phijor/agda-cubical-multiset
History
Tip revision: c2a436339f32dfbecb780090527b1b8e9927d939 authored by Philipp Joram on 12 May 2023, 13:04:33 UTC
ci: Update `cachix/install-nix-action` action
Tip revision: c2a4363
File Mode Size
.github
Multiset
doc
nix
tex
.editorconfig -rw-r--r-- 138 bytes
.gitignore -rw-r--r-- 208 bytes
.gitlab-ci.yml -rw-r--r-- 303 bytes
.gitmodules -rw-r--r-- 0 bytes
LICENSE -rw-r--r-- 1.1 KB
Multiset.agda-lib -rw-r--r-- 118 bytes
README.agda -rw-r--r-- 19.3 KB
README.md -rw-r--r-- 3.9 KB
default.nix -rw-r--r-- 301 bytes
flake.lock -rw-r--r-- 1.9 KB
flake.nix -rw-r--r-- 2.3 KB
shell.nix -rw-r--r-- 299 bytes

README.md

back to top