Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
libtest
typesTest.ml
Find file
Blame
History
Permalink
Move squaresubtype tests to Tallying unit tests
· ec4c848f
Pietro Abate
authored
Jul 01, 2014
ec4c848f