on 034b415 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