on f8a6746 help sign in
Idris-dev/test/basic009/Multiple.idr
4 lines 67 B history raw
1module Multiple
3import Prelude.Vect as X
4import Prelude.List as X