Skip to content
GitLab
Explore
Sign in
Register
Nicola Botta
IdrisLibs2
Repository
IdrisLibs2
Fun
Operations.lidr
Find file
Blame
History
Permalink
Added verified setInTo function modifier.
· d19e084a
Nicola Botta
authored
Feb 15, 2021
d19e084a