
patch applied (generics): NGRoseReps added and made NGRose to work under EMGM
by Alexey Rodriguez Yakushev 04 Feb '08
by Alexey Rodriguez Yakushev 04 Feb '08
04 Feb '08
1
0

patch applied (generics): Print more test info, minor renaming towards paper usage, test overview.
by Alexey Rodriguez Yakushev 04 Feb '08
by Alexey Rodriguez Yakushev 04 Feb '08
04 Feb '08
1
0

patch applied (generics): Minor edits - mainly comments summarising the tests
by Alexey Rodriguez Yakushev 04 Feb '08
by Alexey Rodriguez Yakushev 04 Feb '08
04 Feb '08
1
0

patch applied (generics): Simplified NGRose test a bit, but it is still as demanding to implement
by Alexey Rodriguez Yakushev 01 Feb '08
by Alexey Rodriguez Yakushev 01 Feb '08
01 Feb '08
1
0

patch applied (generics): NGRose is not representable in EMGM either.
by Alexey Rodriguez Yakushev 01 Feb '08
by Alexey Rodriguez Yakushev 01 Feb '08
01 Feb '08
1
0

patch applied (generics): RepLib does not support GRose & NGRose
by Alexey Rodriguez Yakushev 01 Feb '08
by Alexey Rodriguez Yakushev 01 Feb '08
01 Feb '08
1
0

patch applied (generics): Csontructor case for RepLib using RepLib SYB machinery
by Alexey Rodriguez Yakushev 21 Jan '08
by Alexey Rodriguez Yakushev 21 Jan '08
21 Jan '08
1
0

21 Jan '08
1
0

patch applied (generics): Moved representations out of RepLib/GMap.lhs into R2 and BinTreeReps
by Alexey Rodriguez Yakushev 21 Jan '08
by Alexey Rodriguez Yakushev 21 Jan '08
21 Jan '08
1
0
1
0