Skip to content
GitLab
Explore
Sign in
2xs
dx
Repository
dx
src
Type
Bool.v
Find file
Blame
History
Permalink
Add a primitive for equality on booleans
· 272b7b36
Samuel Hym
authored
Jun 17, 2022
272b7b36