Skip to content
GitLab
Explore
Sign in
Register
nofib
real
veritas
Main.hs
Find file
Blame
Permalink
Jan 16, 2024
da7eed00
real/veritas: Rename forall -> vforall
· da7eed00
Matthew Pickering
authored
Jan 16, 2024
da7eed00
real/veritas: Rename forall -> vforall
Matthew Pickering
authored
Jan 16, 2024
Loading