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