Move Graph.idr & Polyhedra.idr to contrib.
Signed-off-by: Mark Farrell <m4farrel@uwaterloo.ca>
commit57f1543cf9ee26f5e3c7a57026933191dcdf4029
authorMark Farrell <m4farrel@uwaterloo.ca>
dateSat 21 Mar 2015, 19:46 (12 years ago)
parent45ef649
libs/base/Data/Graph.idr → libs/contrib/Data/Graph.idrrenamed
The content is the same.
libs/base/Data/Polyhedra.idr → libs/contrib/Data/Polyhedra.idrrenamed
The content is the same.