Skip to content
GitLab
Explore
Sign in
Benjamin.Chetioui
Myott
Repository
myott
src
Check.hs
Find file
Blame
History
Permalink
Add argument list to operations in sequents.
· 59d81c74
Håkon Gylterud
authored
Aug 03, 2021
59d81c74