Projects

2 project(s) on this page

Project Selected Spr Newest Outdated Ignored
agda 2.6.2 11 2.6.24 2.6.1.33 2.6.1.2 2.6.12 2.6.0.13 2.5.4.2 2.5.4.1 2.5.32 2.5.24 2.5.1.1 2.4.2.52 2.4.0.2 2.3.2.22 2.3.0.12 2.6.2.98d4eb0 2.6.2 2.6.1.3 2.5.1.r8151.g4108da695
haskell:agda-executable 2.3.0.1 2 2.3.0.1

Legend: