Changed the file name and location so this will build properly
renamed: Data/Nat/Difference.idr -> Data/Nat.idr
commit437b0e95b7a0ef05d374291ec7f682215789b7b0
authorzenntenn <zenten@zenten.ca>
dateFri 25 May 2018, 13:16 (8 years ago)
parentcb84402
libs/contrib/Data/Nat/Difference.idr → libs/contrib/Data/Nat.idrrenamed
The content is the same.