Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Calc
Operations.v
Find file
Blame
History
Permalink
Mark the radix argument of operations as implicit.
· 3e01dd65
Guillaume Melquiond
authored
Mar 07, 2018
3e01dd65