Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
decidable.v
Find file
Blame
History
Permalink
remove unneeded, loopy uncurry decision instance
· cef729e8
Janno
authored
May 04, 2016
cef729e8