https://github.com/phijor/agda-cubical-multiset
Tip revision: c2a436339f32dfbecb780090527b1b8e9927d939 authored by Philipp Joram on 12 May 2023, 13:04:33 UTC
ci: Update `cachix/install-nix-action` action
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 |