Search Criteria
Package Details: agda-cubical 0.2-1
Git Clone URL: | https://aur.archlinux.org/agda-cubical.git (read-only, click to copy) |
---|---|
Package Base: | agda-cubical |
Description: | An experimental library for Cubical Agda |
Upstream URL: | https://github.com/agda/cubical |
Licenses: | |
Submitter: | berberman |
Maintainer: | berberman |
Last Packager: | berberman |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2020-11-11 11:07 |
Last Updated: | 2020-11-11 11:07 |