Name Last modified Size Description
Parent Directory -
agda-stdlib-2.6.4.3.2.0 04-Feb-2026 02:49 873
agda-2.8.0 04-Feb-2026 02:49 7.3K
spline3-1.0.2 04-Feb-2026 02:49 1.3K
agda-stdlib-2.8.0.2.3 04-Feb-2026 02:49 1.0K
agda-2.6.4.3 04-Feb-2026 02:49 5.9K