Skip to content
GitLab
Explore
Sign in
Register
Nick Suchecki
head.hackage
Repository
head.hackage
patches
Agda-2.6.2.1.patch
Find file
Blame
History
Permalink
Avoid MonadFail instance for ST in Agda patch
· 6e3c0d12
Ryan Scott
authored
Mar 08, 2022
6e3c0d12