summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/agda/cubical-mini
AgeCommit message (Expand)Author
2025-09-25various: remove superflous usages of pnameGuy Chronister
2025-07-30Merge staging-next into stagingnixpkgs-ci[bot]
2025-07-28treewide: conform descriptions to the standardsmivorasu
2025-07-14agdaPackages.cubical-mini: nightly-20241214 -> 0.5-unstable-2025-06-13Naïm Camille Favier
2024-12-19cubical-mini: init at nightly-20241214thelissimus