Skip to content
GitLab
Explore
Sign in
Anton Trunov
less-adhoc
Repository
less-adhoc
prelude.v
Find file
Blame
History
Permalink
Implicit Arguments -> Arguments
· e470a7ac
Anton Trunov
authored
Mar 19, 2018
e470a7ac