Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
iris
bi
lib
fractional.v
Find file
Blame
History
Permalink
fractional_big_sep*: uniform type annotations
· 3162a652
Paolo G. Giarrusso
authored
Oct 26, 2021
To match the suggestion in
iris/iris!737 (comment 75017)
.
3162a652