bringert 2371a1fcca Transfer TODO: added (A,B : Type) argument types.

2006-03-20 14:03:34 +00:00

647 B

Raw Blame History

View Raw