Skip to content
GitLab
Explore
Sign in
Register
hooks-setup-testing
patches
Agda-2.6.3.patch
Find file
Blame
Permalink
Apr 11, 2024
4b924bb4
Migrate v3 Agda
· 4b924bb4
Rodrigo Mesquita
authored
Apr 11, 2024
4b924bb4
Migrate v3 Agda
Rodrigo Mesquita
authored
Apr 11, 2024
Loading
Rodrigo Mesquita authoredRodrigo Mesquita authored