diff --git a/07/Main.idr b/07/Main.idr index f07cfe1..600e473 100644 --- a/07/Main.idr +++ b/07/Main.idr @@ -6,32 +6,6 @@ import System.File.ReadWrite %default total -simple = """ - $ cd / - $ ls - dir a - 14848514 b.txt - 8504156 c.dat - dir d - $ cd a - $ ls - dir e - 29116 f - 2557 g - 62596 h.lst - $ cd e - $ ls - 584 i - $ cd .. - $ cd .. - $ cd d - $ ls - 4060174 j - 8033020 d.log - 5626152 d.ext - 7214296 k - """ - data DirEntry = File String Nat | Directory String Show DirEntry where