git.iko.soy/Idris-dev
on fb9a5ec help sign in
Idris-dev/test/pkg008/expected
13 lines 298 B history raw
1Entering directory `./src'
2Type checking ./NumOps.idr
3Type checking ./Test.idr
4Leaving directory `./src'
5Test Passed
6Test Passed
7Entering directory `./src'
8Leaving directory `./src'
9Entering directory `./src'
10Removed: NumOps.ibc
11Removed: Test.ibc
12Removed: 00maths-idx.ibc
13Leaving directory `./src'