Name Last modified Size Description
Parent Directory -
agda-2.6.4.3 13-Oct-2025 02:56 5.9K
agda-2.8.0 26-Oct-2025 02:26 7.3K
agda-stdlib-2.6.4.3.2.0 13-Oct-2025 02:56 873
agda-stdlib-2.8.0.2.3 26-Oct-2025 02:26 1.0K
spline3-1.0.2 13-Oct-2025 02:56 1.3K