1
0
1
0

17 Jun '07
1
0

patch applied (generics): Completed LIGD/GEqTree with an implementation that works (by representing weighted trees by stripping the weight).
by Oleg Kiselyov 17 Jun '07
by Oleg Kiselyov 17 Jun '07
17 Jun '07
1
0

patch applied (generics): LIGD/Nested (working) and LIGD/GEqTree (failing) added
by Oleg Kiselyov 15 Jun '07
by Oleg Kiselyov 15 Jun '07
15 Jun '07
1
0

patch applied (generics): LIGD: trimmed spaces + aligned + fixed comments + small rename
by Oleg Kiselyov 15 Jun '07
by Oleg Kiselyov 15 Jun '07
15 Jun '07
1
0

patch applied (generics): Added the rest of the PolyP test cases (most failing)
by Alexey Rodriguez Yakushev 13 Jun '07
by Alexey Rodriguez Yakushev 13 Jun '07
13 Jun '07
1
0

patch applied (generics): Cleaned up whitespace + added flags to PolyP example
by Alexey Rodriguez Yakushev 13 Jun '07
by Alexey Rodriguez Yakushev 13 Jun '07
13 Jun '07
1
0

patch applied (generics): Added PolyP/GEqTree.hs (failing because PolyP cannot extend a polytypic function in this way)
by Alexey Rodriguez Yakushev 13 Jun '07
by Alexey Rodriguez Yakushev 13 Jun '07
13 Jun '07
1
0

patch applied (generics): Trimming whitespace (no semantic change)
by Alexey Rodriguez Yakushev 13 Jun '07
by Alexey Rodriguez Yakushev 13 Jun '07
13 Jun '07
1
0