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