Skip to content
GitLab
Explore
Sign in
Register
hooks-setup-testing
patches
Agda-2.6.3.patch
Find file
Blame
Permalink
May 06, 2024
225e5632
Force hashable 1.4.4.0
· 225e5632
Rodrigo Mesquita
authored
May 06, 2024
225e5632
Force hashable 1.4.4.0
Rodrigo Mesquita
authored
May 06, 2024
Loading
Rodrigo Mesquita authoredRodrigo Mesquita authored