repositories / clean-tests.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of git.martlubbers.net:clean-tests
[clean-tests.git] / abstract-newtypes / nt.icl
1 implementation module nt
2
3 :: NT a =: NT a
4 :: RT a = RT a