Skip to content
GitLab
Explore
Sign in
Register
Nicola Botta
lectures
Repository
lectures
2019-2020.Formal_specifications_and_v...
regular_lectures
Lecture4.lidr
Find file
Blame
History
Permalink
Adapt `surprise` and `circular` examples + fix `LTE`.
· 8c4456cd
Nuria Brede
authored
Feb 23, 2021
8c4456cd