topological.txt

0 ARC/DSL/Functions/add.agda
0 ARC/DSL/Functions/apply.agda
0 ARC/DSL/Functions/compose.agda
0 ARC/DSL/Functions/container-to-list.agda
0 ARC/DSL/Functions/dedupe.agda
0 ARC/DSL/Functions/equality.agda
0 ARC/DSL/Functions/first.agda
0 ARC/DSL/Functions/greater.agda
0 ARC/DSL/Functions/int-cmp.agda
0 ARC/DSL/Functions/leastcommon.agda
0 ARC/DSL/Functions/merge.agda
0 ARC/DSL/Functions/mostcommon.agda
0 ARC/DSL/Functions/papply.agda
0 ARC/DSL/Functions/remove.agda
0 ARC/DSL/Functions/sfilter.agda
0 ARC/DSL/Functions/size.agda
0 ARC/DSL/Functions/subtract.agda
0 ARC/DSL/Functions/tolist.agda
0 ARC/DSL/Types/Boolean/Boolean.agda
0 ARC/DSL/Types/Boolean/Functions.agda
0 ARC/DSL/Types/Cell/Cell.agda
0 ARC/DSL/Types/Container/Container.agda
0 ARC/DSL/Types/Container/Functions.agda
0 ARC/DSL/Types/Element/Element.agda
0 ARC/DSL/Types/Grid/Grid.agda
0 ARC/DSL/Types/Indices/Indices.agda
0 ARC/DSL/Types/Integer/Functions.agda
0 ARC/DSL/Types/Integer/Integer.agda
0 ARC/DSL/Types/IntegerList/IntegerList.agda
0 ARC/DSL/Types/IntegerSet/IntegerSet.agda
0 ARC/DSL/Types/List/Functions.agda
0 ARC/DSL/Types/List/List.agda
0 ARC/DSL/Types/Numerical/Numerical.agda
0 ARC/DSL/Types/Object/Object.agda
0 ARC/DSL/Types/OrdSet/Functions.agda
0 ARC/DSL/Types/OrdSet/OrdSet.agda
0 ARC/DSL/Types/Pair/Functions.agda
0 ARC/DSL/Types/Pair/Pair.agda
0 ARC/DSL/Types/Patch/Patch.agda
0 ARC/DSL/Types/Piece/Piece.agda
0 ARC/DSL/Types/Union/Union.agda
0 Base/ALL.agda
0 Base/AVLTree/ALL.agda
0 Base/AVLTree/AVLTree.agda
0 Base/AVLTree/Balance/Balance.agda
0 Base/AVLTree/Balance/Trait/Eq.agda
0 Base/AVLTree/Balance/eq.agda
0 Base/AVLTree/Balance/neq.agda
0 Base/AVLTree/Balance/rotate-left.agda
0 Base/AVLTree/Balance/rotate-right.agda
0 Base/AVLTree/Delete/delete-go.agda
0 Base/AVLTree/Delete/delete-maximum.agda
0 Base/AVLTree/delete.agda
0 Base/AVLTree/difference.agda
0 Base/AVLTree/empty.agda
0 Base/AVLTree/filter.agda
0 Base/AVLTree/fold.agda
0 Base/AVLTree/from-list.agda
0 Base/AVLTree/get-pair.agda
0 Base/AVLTree/get.agda
0 Base/AVLTree/has-key.agda
0 Base/AVLTree/height.agda
0 Base/AVLTree/insert.agda
0 Base/AVLTree/intersect.agda
0 Base/AVLTree/invert.agda
0 Base/AVLTree/is-balanced.agda
0 Base/AVLTree/keys.agda
0 Base/AVLTree/map-keys.agda
0 Base/AVLTree/map-values.agda
0 Base/AVLTree/map.agda
0 Base/AVLTree/maximum.agda
0 Base/AVLTree/minimum.agda
0 Base/AVLTree/singleton.agda
0 Base/AVLTree/size.agda
0 Base/AVLTree/to-list.agda
0 Base/AVLTree/union.agda
0 Base/AVLTree/values.agda
0 Base/BinTree/ALL.agda
0 Base/BinTree/BinTree.agda
0 Base/BinTree/Trait/Eq.agda
0 Base/BinTree/Trait/Show.agda
0 Base/BinTree/all-equal.agda
0 Base/BinTree/count.agda
0 Base/BinTree/eq.agda
0 Base/BinTree/fold.agda
0 Base/BinTree/merge.agda
0 Base/BinTree/neq.agda
0 Base/BinTree/show.agda
0 Base/BinTree/sum.agda
0 Base/BitMap/ALL.agda
0 Base/BitMap/BitMap.agda
0 Base/BitMap/Tm/get-set.agda
0 Base/BitMap/Trait/Show.agda
0 Base/BitMap/contains.agda
0 Base/BitMap/count.agda
0 Base/BitMap/del.agda
0 Base/BitMap/difference.agda
0 Base/BitMap/empty.agda
0 Base/BitMap/from-list.agda
0 Base/BitMap/get.agda
0 Base/BitMap/insert.agda
0 Base/BitMap/merge.agda
0 Base/BitMap/new.agda
0 Base/BitMap/set.agda
0 Base/BitMap/show.agda
0 Base/BitMap/swap.agda
0 Base/BitMap/take.agda
0 Base/BitMap/to-list.agda
0 Base/BitMap/union.agda
0 Base/BitMap/values.agda
0 Base/Bits/ALL.agda
0 Base/Bits/Bits.agda
0 Base/Bits/Decode-utf8/decode-utf8-go.agda
0 Base/Bits/Trait/Eq.agda
0 Base/Bits/Trait/Ord.agda
0 Base/Bits/Trait/Show.agda
0 Base/Bits/add.agda
0 Base/Bits/and.agda
0 Base/Bits/append.agda
0 Base/Bits/compare.agda
0 Base/Bits/concat.agda
0 Base/Bits/dec.agda
0 Base/Bits/decode-utf8.agda
0 Base/Bits/div.agda
0 Base/Bits/encode-char-utf8.agda
0 Base/Bits/encode-utf8.agda
0 Base/Bits/eq.agda
0 Base/Bits/from-char.agda
0 Base/Bits/from-nat.agda
0 Base/Bits/gt.agda
0 Base/Bits/gte.agda
0 Base/Bits/inc.agda
0 Base/Bits/is-zero.agda
0 Base/Bits/length.agda
0 Base/Bits/lshift.agda
0 Base/Bits/lt.agda
0 Base/Bits/lte.agda
0 Base/Bits/mod.agda
0 Base/Bits/mul.agda
0 Base/Bits/neq.agda
0 Base/Bits/normal.agda
0 Base/Bits/not.agda
0 Base/Bits/or.agda
0 Base/Bits/pad-length.agda
0 Base/Bits/pad-zeros.agda
0 Base/Bits/pred.agda
0 Base/Bits/reverse.agda
0 Base/Bits/rshift.agda
0 Base/Bits/show-rev.agda
0 Base/Bits/show.agda
0 Base/Bits/split-at.agda
0 Base/Bits/split-chunks.agda
0 Base/Bits/sub.agda
0 Base/Bits/succ.agda
0 Base/Bits/take.agda
0 Base/Bits/to-char.agda
0 Base/Bits/to-nat.agda
0 Base/Bits/xor.agda
0 Base/Bool/ALL.agda
0 Base/Bool/Bool.agda
0 Base/Bool/Trait/Eq.agda
0 Base/Bool/Trait/Show.agda
0 Base/Bool/and.agda
0 Base/Bool/eq.agda
0 Base/Bool/if.agda
0 Base/Bool/neq.agda
0 Base/Bool/not.agda
0 Base/Bool/or.agda
0 Base/Bool/show.agda
0 Base/Bool/xor.agda
0 Base/Buffer/ALL.agda
0 Base/Buffer/Buffer.agda
0 Base/Buffer/get.agda
0 Base/Buffer/new.agda
0 Base/Buffer/set.agda
0 Base/ByteString/ALL.agda
0 Base/ByteString/ByteString.agda
0 Base/ByteString/Trait/Show.agda
0 Base/ByteString/append.agda
0 Base/ByteString/concat.agda
0 Base/ByteString/cons.agda
0 Base/ByteString/drop.agda
0 Base/ByteString/head.agda
0 Base/ByteString/is-empty.agda
0 Base/ByteString/pack-string-fixed.agda
0 Base/ByteString/pack-string.agda
0 Base/ByteString/pack.agda
0 Base/ByteString/read-char.agda
0 Base/ByteString/read-f64.agda
0 Base/ByteString/read-u48.agda
0 Base/ByteString/show.agda
0 Base/ByteString/slice.agda
0 Base/ByteString/tail.agda
0 Base/ByteString/take.agda
0 Base/ByteString/unpack.agda
0 Base/ByteString/write-f64-as-nat.agda
0 Base/ByteString/write-u48.agda
0 Base/Char/ALL.agda
0 Base/Char/Char.agda
0 Base/Char/Trait/Eq.agda
0 Base/Char/Trait/Ord.agda
0 Base/Char/Trait/Show.agda
0 Base/Char/compare.agda
0 Base/Char/digit-to-nat.agda
0 Base/Char/eq.agda
0 Base/Char/from-nat.agda
0 Base/Char/gt.agda
0 Base/Char/gte.agda
0 Base/Char/hex-to-nat.agda
0 Base/Char/is-alpha.agda
0 Base/Char/is-ascii.agda
0 Base/Char/is-digit.agda
0 Base/Char/is-hex-digit.agda
0 Base/Char/is-latin1.agda
0 Base/Char/is-lower.agda
0 Base/Char/is-print.agda
0 Base/Char/is-space.agda
0 Base/Char/lt.agda
0 Base/Char/lte.agda
0 Base/Char/neq.agda
0 Base/Char/show.agda
0 Base/Char/to-digit.agda
0 Base/Char/to-lower.agda
0 Base/Char/to-nat.agda
0 Base/Char/to-upper.agda
0 Base/Concurrent/Channel/Channel.agda
0 Base/Concurrent/Channel/new.agda
0 Base/Concurrent/Channel/read.agda
0 Base/Concurrent/Channel/write.agda
0 Base/DiffList/ALL.agda
0 Base/DiffList/DiffList.agda
0 Base/DiffList/append.agda
0 Base/DiffList/cons.agda
0 Base/DiffList/empty.agda
0 Base/DiffList/snoc.agda
0 Base/DiffList/to-list.agda
0 Base/Either/ALL.agda
0 Base/Either/Either.agda
0 Base/Empty/ALL.agda
0 Base/Empty/Empty.agda
0 Base/Equal/ALL.agda
0 Base/Equal/Equal.agda
0 Base/Equal/apply.agda
0 Base/Equal/erase.agda
0 Base/Equal/left.agda
0 Base/Equal/right.agda
0 Base/Equal/subst.agda
0 Base/Equal/sym.agda
0 Base/Equal/trans.agda
0 Base/F64/ALL.agda
0 Base/F64/F64.agda
0 Base/F64/Trait/Eq.agda
0 Base/F64/Trait/Ord.agda
0 Base/F64/Trait/Show.agda
0 Base/F64/acos.agda
0 Base/F64/add.agda
0 Base/F64/and.agda
0 Base/F64/asin.agda
0 Base/F64/atan.agda
0 Base/F64/compare.agda
0 Base/F64/cos.agda
0 Base/F64/cosh.agda
0 Base/F64/div.agda
0 Base/F64/double.agda
0 Base/F64/eq.agda
0 Base/F64/exp.agda
0 Base/F64/floor.agda
0 Base/F64/from-bits.agda
0 Base/F64/from-int.agda
0 Base/F64/from-nat.agda
0 Base/F64/from-string.agda
0 Base/F64/from-u64.agda
0 Base/F64/gt.agda
0 Base/F64/gte.agda
0 Base/F64/half.agda
0 Base/F64/log.agda
0 Base/F64/lt.agda
0 Base/F64/lte.agda
0 Base/F64/max.agda
0 Base/F64/min.agda
0 Base/F64/mod.agda
0 Base/F64/mul.agda
0 Base/F64/negate.agda
0 Base/F64/neq.agda
0 Base/F64/or.agda
0 Base/F64/show.agda
0 Base/F64/sin.agda
0 Base/F64/sinh.agda
0 Base/F64/sqrt.agda
0 Base/F64/square.agda
0 Base/F64/sub.agda
0 Base/F64/tan.agda
0 Base/F64/tanh.agda
0 Base/F64/to-bits.agda
0 Base/F64/to-u64.agda
0 Base/Function/ALL.agda
0 Base/Function/case.agda
0 Base/Function/const.agda
0 Base/Function/id.agda
0 Base/IO/ALL.agda
0 Base/IO/IO.agda
0 Base/IO/Monad/bind.agda
0 Base/IO/Monad/pure.agda
0 Base/IO/Trait/Monad.agda
0 Base/IO/append-file.agda
0 Base/IO/delete-file.agda
0 Base/IO/exists.agda
0 Base/IO/get-args.agda
0 Base/IO/get-line.agda
0 Base/IO/is-directory.agda
0 Base/IO/is-file.agda
0 Base/IO/mkdir.agda
0 Base/IO/print.agda
0 Base/IO/read-file.agda
0 Base/IO/write-file.agda
0 Base/Int/ALL.agda
0 Base/Int/Int.agda
0 Base/Int/Trait/Eq.agda
0 Base/Int/Trait/Ord.agda
0 Base/Int/Trait/Show.agda
0 Base/Int/compare.agda
0 Base/Int/eq.agda
0 Base/Int/from-nat.agda
0 Base/Int/from-neg.agda
0 Base/Int/gt.agda
0 Base/Int/gte.agda
0 Base/Int/lt.agda
0 Base/Int/lte.agda
0 Base/Int/mul.agda
0 Base/Int/neg.agda
0 Base/Int/neq.agda
0 Base/Int/show.agda
0 Base/Int/to-bits.agda
0 Base/Int/to-nat.agda
0 Base/JSON/ALL.agda
0 Base/JSON/JSON.agda
0 Base/JSON/Trait/Show.agda
0 Base/JSON/parse-array.agda
0 Base/JSON/parse-bool.agda
0 Base/JSON/parse-null.agda
0 Base/JSON/parse-number.agda
0 Base/JSON/parse-object.agda
0 Base/JSON/parse-string.agda
0 Base/JSON/parse.agda
0 Base/JSON/show.agda
0 Base/List/ALL.agda
0 Base/List/List.agda
0 Base/List/Monad/bind.agda
0 Base/List/Monad/pure.agda
0 Base/List/Omega/Omega.agda
0 Base/List/Tm/is-cons.agda
0 Base/List/Tm/is-nil.agda
0 Base/List/Trait/Eq.agda
0 Base/List/Trait/Monad.agda
0 Base/List/Trait/Ord.agda
0 Base/List/Trait/Show.agda
0 Base/List/all-equal.agda
0 Base/List/all-true.agda
0 Base/List/and.agda
0 Base/List/any-true.agda
0 Base/List/append.agda
0 Base/List/cartesian-product-with.agda
0 Base/List/cartesian-product.agda
0 Base/List/compare.agda
0 Base/List/concat-map.agda
0 Base/List/concat-maybes.agda
0 Base/List/concat.agda
0 Base/List/contains.agda
0 Base/List/count.agda
0 Base/List/dedup.agda
0 Base/List/diagonal.agda
0 Base/List/difference.agda
0 Base/List/drop-while.agda
0 Base/List/drop.agda
0 Base/List/empty.agda
0 Base/List/eq.agda
0 Base/List/filter.agda
0 Base/List/find.agda
0 Base/List/foldl.agda
0 Base/List/foldr.agda
0 Base/List/frequency.agda
0 Base/List/gt.agda
0 Base/List/gte.agda
0 Base/List/head.agda
0 Base/List/inits.agda
0 Base/List/insert-at-sorted.agda
0 Base/List/insert-at.agda
0 Base/List/insertion-sort.agda
0 Base/List/intercalate.agda
0 Base/List/intersperse.agda
0 Base/List/is-asc.agda
0 Base/List/is-cons.agda
0 Base/List/is-nil.agda
0 Base/List/iterate.agda
0 Base/List/last.agda
0 Base/List/length.agda
0 Base/List/lookup.agda
0 Base/List/lt.agda
0 Base/List/lte.agda
0 Base/List/map.agda
0 Base/List/match.agda
0 Base/List/mfoldl.agda
0 Base/List/mmap.agda
0 Base/List/neq.agda
0 Base/List/or.agda
0 Base/List/product.agda
0 Base/List/quicksort.agda
0 Base/List/remove-at.agda
0 Base/List/replicate.agda
0 Base/List/reverse.agda
0 Base/List/show.agda
0 Base/List/singleton.agda
0 Base/List/sort.agda
0 Base/List/split-at-element.agda
0 Base/List/split-at.agda
0 Base/List/split-chunks.agda
0 Base/List/split-first.agda
0 Base/List/split-last.agda
0 Base/List/starts-with.agda
0 Base/List/sum.agda
0 Base/List/tail.agda
0 Base/List/tails.agda
0 Base/List/take-while.agda
0 Base/List/take.agda
0 Base/List/unsnoc.agda
0 Base/List/unzip-with.agda
0 Base/List/unzip.agda
0 Base/List/update-at.agda
0 Base/List/zip-cons.agda
0 Base/List/zip-with.agda
0 Base/List/zip.agda
0 Base/Maybe/ALL.agda
0 Base/Maybe/Maybe.agda
0 Base/Maybe/Monad/bind.agda
0 Base/Maybe/Monad/pure.agda
0 Base/Maybe/Trait/Eq.agda
0 Base/Maybe/Trait/Monad.agda
0 Base/Maybe/Trait/Show.agda
0 Base/Maybe/eq.agda
0 Base/Maybe/fold.agda
0 Base/Maybe/map.agda
0 Base/Maybe/neq.agda
0 Base/Maybe/run.agda
0 Base/Maybe/show.agda
0 Base/Maybe/to-bool.agda
0 Base/Maybe/to-list.agda
0 Base/Maybe/to-result.agda
0 Base/Nat/ALL.agda
0 Base/Nat/Nat.agda
0 Base/Nat/Trait/Add.agda
0 Base/Nat/Trait/Eq.agda
0 Base/Nat/Trait/Ord.agda
0 Base/Nat/Trait/Show.agda
0 Base/Nat/add.agda
0 Base/Nat/compare.agda
0 Base/Nat/div.agda
0 Base/Nat/div/go.agda
0 Base/Nat/double.agda
0 Base/Nat/eq.agda
0 Base/Nat/exp.agda
0 Base/Nat/gt.agda
0 Base/Nat/gte.agda
0 Base/Nat/half.agda
0 Base/Nat/is-zero.agda
0 Base/Nat/lt.agda
0 Base/Nat/lte.agda
0 Base/Nat/match.agda
0 Base/Nat/max.agda
0 Base/Nat/min.agda
0 Base/Nat/mod.agda
0 Base/Nat/mul.agda
0 Base/Nat/neq.agda
0 Base/Nat/pred.agda
0 Base/Nat/range.agda
0 Base/Nat/rshift.agda
0 Base/Nat/show.agda
0 Base/Nat/sub.agda
0 Base/Nat/to-bits.agda
0 Base/Nat/to-u64.agda
0 Base/Nat/xor.agda
0 Base/Network/HTTP/Method/Method.agda
0 Base/Network/HTTP/Method/to-string.agda
0 Base/Network/HTTP/fetch.agda
0 Base/Network/WebSocket/WSConnection.agda
0 Base/Network/WebSocket/receive-binary-data.agda
0 Base/Network/WebSocket/receive-data.agda
0 Base/Network/WebSocket/run-client.agda
0 Base/Network/WebSocket/run-concurrent-client.agda
0 Base/Network/WebSocket/run-secure-client.agda
0 Base/Network/WebSocket/send-binary-data.agda
0 Base/Network/WebSocket/send-close.agda
0 Base/Network/WebSocket/send-text-data.agda
0 Base/OrdMap/ALL.agda
0 Base/OrdMap/OrdMap.agda
0 Base/OrdMap/delete.agda
0 Base/OrdMap/difference.agda
0 Base/OrdMap/empty.agda
0 Base/OrdMap/fold.agda
0 Base/OrdMap/from-list.agda
0 Base/OrdMap/get-pair.agda
0 Base/OrdMap/get.agda
0 Base/OrdMap/has-key.agda
0 Base/OrdMap/insert.agda
0 Base/OrdMap/intersect.agda
0 Base/OrdMap/keys.agda
0 Base/OrdMap/singleton.agda
0 Base/OrdMap/to-list.agda
0 Base/OrdMap/union.agda
0 Base/OrdMap/values.agda
0 Base/OrdSet/ALL.agda
0 Base/OrdSet/OrdSet.agda
0 Base/OrdSet/contains.agda
0 Base/OrdSet/delete.agda
0 Base/OrdSet/difference.agda
0 Base/OrdSet/empty.agda
0 Base/OrdSet/filter.agda
0 Base/OrdSet/fold.agda
0 Base/OrdSet/from-list.agda
0 Base/OrdSet/insert.agda
0 Base/OrdSet/intersect.agda
0 Base/OrdSet/map.agda
0 Base/OrdSet/maximum.agda
0 Base/OrdSet/minimum.agda
0 Base/OrdSet/singleton.agda
0 Base/OrdSet/size.agda
0 Base/OrdSet/to-list.agda
0 Base/OrdSet/union.agda
0 Base/Ordering/ALL.agda
0 Base/Ordering/Ordering.agda
0 Base/Ordering/Trait/Eq.agda
0 Base/Ordering/eq.agda
0 Base/Ordering/neq.agda
0 Base/Pair/ALL.agda
0 Base/Pair/Pair.agda
0 Base/Pair/Trait/Eq.agda
0 Base/Pair/Trait/Show.agda
0 Base/Pair/eq.agda
0 Base/Pair/get-fst.agda
0 Base/Pair/get-snd.agda
0 Base/Pair/map.agda
0 Base/Pair/mut-fst.agda
0 Base/Pair/mut-snd.agda
0 Base/Pair/neq.agda
0 Base/Pair/set-fst.agda
0 Base/Pair/set-snd.agda
0 Base/Pair/show.agda
0 Base/Pair/to-list.agda
0 Base/Parser/ALL.agda
0 Base/Parser/Error.agda
0 Base/Parser/Examples/LambdaTerm/LambdaTerm.agda
0 Base/Parser/Examples/LambdaTerm/new.agda
0 Base/Parser/Examples/LambdaTerm/parse.agda
0 Base/Parser/Monad/bind.agda
0 Base/Parser/Monad/pure.agda
0 Base/Parser/Parser.agda
0 Base/Parser/Reply.agda
0 Base/Parser/State.agda
0 Base/Parser/advance-many.agda
0 Base/Parser/advance-one.agda
0 Base/Parser/alternative.agda
0 Base/Parser/consume.agda
0 Base/Parser/fail.agda
0 Base/Parser/get-index.agda
0 Base/Parser/is-eof.agda
0 Base/Parser/map.agda
0 Base/Parser/parse-char.agda
0 Base/Parser/parse-many.agda
0 Base/Parser/parse-name.agda
0 Base/Parser/parse-quoted-char.agda
0 Base/Parser/parse-string.agda
0 Base/Parser/peek-many.agda
0 Base/Parser/peek-one.agda
0 Base/Parser/skip-spaces.agda
0 Base/Parser/skip-trivia.agda
0 Base/Parser/starts-with.agda
0 Base/Parser/take-while.agda
0 Base/Queue/ALL.agda
0 Base/Queue/Queue.agda
0 Base/Queue/dequeue.agda
0 Base/Queue/enqueue.agda
0 Base/Result/ALL.agda
0 Base/Result/Monad/bind.agda
0 Base/Result/Result.agda
0 Base/Result/Trait/Monad.agda
0 Base/Result/fold.agda
0 Base/String/ALL.agda
0 Base/String/String.agda
0 Base/String/Trait/Eq.agda
0 Base/String/Trait/Monoid.agda
0 Base/String/Trait/Ord.agda
0 Base/String/Trait/Show.agda
0 Base/String/append.agda
0 Base/String/compare.agda
0 Base/String/contains.agda
0 Base/String/drop.agda
0 Base/String/eq.agda
0 Base/String/foldr.agda
0 Base/String/from-char.agda
0 Base/String/from-list.agda
0 Base/String/gt.agda
0 Base/String/gte.agda
0 Base/String/hash.agda
0 Base/String/head.agda
0 Base/String/is-empty.agda
0 Base/String/join.agda
0 Base/String/length.agda
0 Base/String/lt.agda
0 Base/String/lte.agda
0 Base/String/neq.agda
0 Base/String/replicate.agda
0 Base/String/show.agda
0 Base/String/split-at.agda
0 Base/String/starts-with.agda
0 Base/String/to-list.agda
0 Base/String/to-nat-base.agda
0 Base/String/uncons.agda
0 Base/Time/ALL.agda
0 Base/Time/now.agda
0 Base/Trait/ALL.agda
0 Base/Trait/Add.agda
0 Base/Trait/Eq.agda
0 Base/Trait/Monad.agda
0 Base/Trait/Monoid.agda
0 Base/Trait/Ord.agda
0 Base/Trait/Show.agda
0 Base/U64/ALL.agda
0 Base/U64/Trait/Eq.agda
0 Base/U64/Trait/Ord.agda
0 Base/U64/Trait/Show.agda
0 Base/U64/U64.agda
0 Base/U64/add.agda
0 Base/U64/and.agda
0 Base/U64/compare.agda
0 Base/U64/div.agda
0 Base/U64/double.agda
0 Base/U64/eq.agda
0 Base/U64/from-bits.agda
0 Base/U64/from-bool.agda
0 Base/U64/from-nat.agda
0 Base/U64/gt.agda
0 Base/U64/gte.agda
0 Base/U64/if.agda
0 Base/U64/lt.agda
0 Base/U64/lte.agda
0 Base/U64/max.agda
0 Base/U64/min.agda
0 Base/U64/mod.agda
0 Base/U64/mul.agda
0 Base/U64/neq.agda
0 Base/U64/not.agda
0 Base/U64/or.agda
0 Base/U64/show.agda
0 Base/U64/sub.agda
0 Base/U64/to-bits.agda
0 Base/U64/to-nat.agda
0 Base/U64/xor.agda
0 Base/Unit/ALL.agda
0 Base/Unit/Trait/Eq.agda
0 Base/Unit/Unit.agda
0 Base/Unit/eq.agda
0 Base/Unit/neq.agda
0 Base/V2/ALL.agda
0 Base/V2/Trait/Eq.agda
0 Base/V2/Trait/Show.agda
0 Base/V2/V2.agda
0 Base/V2/add.agda
0 Base/V2/dist.agda
0 Base/V2/div-scalar.agda
0 Base/V2/div.agda
0 Base/V2/dot.agda
0 Base/V2/eq.agda
0 Base/V2/length.agda
0 Base/V2/lerp.agda
0 Base/V2/max.agda
0 Base/V2/min.agda
0 Base/V2/mul-scalar.agda
0 Base/V2/negate.agda
0 Base/V2/neq.agda
0 Base/V2/normalize.agda
0 Base/V2/perpendicular.agda
0 Base/V2/show.agda
0 Base/V2/sqr-dist.agda
0 Base/V2/sub.agda
0 Base/Word8/ALL.agda
0 Base/Word8/Word8.agda
0 Base/Word8/from-nat.agda
0 Base/Word8/to-nat.agda
0 Bend/Cli/Command/Command.agda
0 Bend/Cli/Command/from-string.agda
0 Bend/Compile/BendToNet/Encoder/Encoder.agda
0 Bend/Compile/BendToNet/Encoder/encode-num.agda
0 Bend/Compile/BendToNet/Encoder/encode-pat.agda
0 Bend/Compile/BendToNet/Encoder/encode-term.agda
0 Bend/Compile/BendToNet/Encoder/link-var.agda
0 Bend/Compile/BendToNet/Encoder/link.agda
0 Bend/Compile/BendToNet/Encoder/new-node.agda
0 Bend/Compile/BendToNet/Encoder/new.agda
0 Bend/Compile/BendToNet/book-to-nets.agda
0 Bend/Compile/NetToHvm/State/State.agda
0 Bend/Compile/NetToHvm/State/new.agda
0 Bend/Compile/NetToHvm/get-redexes.agda
0 Bend/Compile/NetToHvm/net-to-hvm.agda
0 Bend/Compile/NetToHvm/nets-to-hvm.agda
0 Bend/Compile/NetToHvm/tree-to-hvm.agda
0 Bend/Compile/book-to-hvm.agda
0 Bend/Fun/Adt/Adt.agda
0 Bend/Fun/Adt/Ctr.agda
0 Bend/Fun/Adt/CtrField.agda
0 Bend/Fun/Book/Book.agda
0 Bend/Fun/Book/add-fn-def.agda
0 Bend/Fun/Book/contains-def.agda
0 Bend/Fun/Book/get-adt.agda
0 Bend/Fun/Book/get-ctr.agda
0 Bend/Fun/Book/new.agda
0 Bend/Fun/Book/show.agda
0 Bend/Fun/FanKind/FanKind.agda
0 Bend/Fun/FnDef/FnDef.agda
0 Bend/Fun/FnDef/new-gen.agda
0 Bend/Fun/FnDef/show.agda
0 Bend/Fun/MatchRule/MatchRule.agda
0 Bend/Fun/MatchRule/show.agda
0 Bend/Fun/Num/Num.agda
0 Bend/Fun/Num/show.agda
0 Bend/Fun/Op/Op.agda
0 Bend/Fun/Op/show.agda
0 Bend/Fun/Pattern/Pattern.agda
0 Bend/Fun/Pattern/binds.agda
0 Bend/Fun/Pattern/children.agda
0 Bend/Fun/Pattern/map-binds.agda
0 Bend/Fun/Pattern/map-children.agda
0 Bend/Fun/Pattern/show.agda
0 Bend/Fun/Pattern/unscoped-binds.agda
0 Bend/Fun/Rule/Rule.agda
0 Bend/Fun/Term/Term.agda
0 Bend/Fun/Term/children-with-binds.agda
0 Bend/Fun/Term/children.agda
0 Bend/Fun/Term/free-vars.agda
0 Bend/Fun/Term/is-ref.agda
0 Bend/Fun/Term/map-child-binds.agda
0 Bend/Fun/Term/map-children-with-binds.agda
0 Bend/Fun/Term/map-children-with-state.agda
0 Bend/Fun/Term/show.agda
0 Bend/Fun/Term/unscoped-vars.agda
0 Bend/Fun/Type/Type.agda
0 Bend/Fun/Type/show.agda
0 Bend/Fun/dsl.agda
0 Bend/Fun/show-bind.agda
0 Bend/Load/load-book.agda
0 Bend/Net/Net.agda
0 Bend/Net/Node/Node.agda
0 Bend/Net/Node/get.agda
0 Bend/Net/Node/set.agda
0 Bend/Net/Node/show.agda
0 Bend/Net/NodeKind/NodeKind.agda
0 Bend/Net/NodeKind/from-fan-kind.agda
0 Bend/Net/NodeKind/show.agda
0 Bend/Net/Port/Port.agda
0 Bend/Net/Port/show.agda
0 Bend/Net/Port/to-bits.agda
0 Bend/Net/Port/to-pair.agda
0 Bend/Net/get-node.agda
0 Bend/Net/get-port.agda
0 Bend/Net/link.agda
0 Bend/Net/net-root.agda
0 Bend/Net/new-node.agda
0 Bend/Net/new.agda
0 Bend/Net/set-port.agda
0 Bend/Net/show.agda
0 Bend/Parser/Fun/parse-adt.agda
0 Bend/Parser/Fun/parse-book.agda
0 Bend/Parser/Fun/parse-def-sig.agda
0 Bend/Parser/Fun/parse-fn-def.agda
0 Bend/Parser/Fun/parse-pattern.agda
0 Bend/Parser/Fun/parse-rule-lhs.agda
0 Bend/Parser/Fun/parse-term.agda
0 Bend/Parser/Fun/parse-type-term.agda
0 Bend/Parser/ParseBook/ParseBook.agda
0 Bend/Parser/ParseBook/TopLevel.agda
0 Bend/Parser/ParseBook/new.agda
0 Bend/Parser/consume-exactly.agda
0 Bend/Parser/consume.agda
0 Bend/Parser/first-with-guard.agda
0 Bend/Parser/is-digit-radix.agda
0 Bend/Parser/is-name-char.agda
0 Bend/Parser/list-like.agda
0 Bend/Parser/parse-keyword.agda
0 Bend/Parser/parse-number.agda
0 Bend/Parser/parse-oper.agda
0 Bend/Parser/parse-restricted-name.agda
0 Bend/Parser/parse-top-level-name.agda
0 Bend/Parser/parse-var-name.agda
0 Bend/Parser/sep-by.agda
0 Bend/Parser/skip-trivia.agda
0 Bend/Parser/starts-with-keyword.agda
0 Bend/Parser/try-consume-exactly.agda
0 Bend/Parser/try-consume.agda
0 Bend/Run/show-hvm.agda
0 Bend/Run/to-bend-core.agda
0 Bend/Run/to-hvm.agda
0 Bend/Source/Source.agda
0 Bend/Source/SourceKind.agda
0 Bend/Source/TextLocation.agda
0 Bend/Source/TextSpan.agda
0 Bend/Source/from-file-span.agda
0 Bend/Source/is-builtin.agda
0 Bend/Transform/FloatCombinators/Ctx.agda
0 Bend/Transform/FloatCombinators/float-combinators.agda
0 Bend/Transform/FloatCombinators/is-safe.agda
0 Bend/Transform/FloatCombinators/map-float-children.agda
0 Bend/Transform/encode-adts.agda
0 Bend/Transform/linearize-vars.agda
0 Bend/Transform/resolve-refs.agda
0 Bend/Transform/subst.agda
0 Bend/Transform/unbound-refs.agda
0 Bend/Transform/unbound-vars.agda
0 Bend/Transform/unique-names.agda
0 Bend/nat-to-name.agda
0 Debug/Trace.agda
0 HVM/Addr/Addr.agda
0 HVM/Mode/Mode.agda
0 HVM/Mode/is-wired.agda
0 HVM/Net/Net.agda
0 HVM/Net/show.agda
0 HVM/Parser/parse-net.agda
0 HVM/Parser/parse-redex.agda
0 HVM/Parser/parse-term.agda
0 HVM/Redex/Redex.agda
0 HVM/Redex/show.agda
0 HVM/Rule/anni.agda
0 HVM/Rule/comm.agda
0 HVM/Rule/eras.agda
0 HVM/Rule/link.agda
0 HVM/Rule/void.agda
0 HVM/Run/Monad/bind.agda
0 HVM/Run/Monad/pure.agda
0 HVM/Run/Run.agda
0 HVM/Run/State/State.agda
0 HVM/Run/State/boot.agda
0 HVM/Run/enter.agda
0 HVM/Run/evaluate.agda
0 HVM/Run/fresh.agda
0 HVM/Run/interact.agda
0 HVM/Run/link.agda
0 HVM/Run/materialize.agda
0 HVM/Run/normalize.agda
0 HVM/Run/redex-pop.agda
0 HVM/Run/redex-push.agda
0 HVM/Run/state-get.agda
0 HVM/Run/state-mut.agda
0 HVM/Run/subst-swap.agda
0 HVM/Run/subst-take.agda
0 HVM/Term/Term.agda
0 HVM/Term/show.agda
0 Imp/Backend/Cuda/grid-to-cuda.agda
0 Imp/Eval/Config/Grid/Grid.agda
0 Imp/Eval/Env/Env.agda
0 Imp/Eval/Env/get.agda
0 Imp/Eval/Env/pop.agda
0 Imp/Eval/Env/push.agda
0 Imp/Eval/Env/set.agda
0 Imp/Eval/Frame/Frame.agda
0 Imp/Eval/Memory/Memory.agda
0 Imp/Eval/State/Block/Block.agda
0 Imp/Eval/State/Block/step.agda
0 Imp/Eval/State/Grid/Grid.agda
0 Imp/Eval/State/Grid/step.agda
0 Imp/Eval/State/Thread/Thread.agda
0 Imp/Eval/State/Thread/step.agda
0 Imp/Eval/eval-expr.agda
0 Imp/Expr/Expr.agda
0 Imp/Expr/show.agda
0 Imp/Notation.agda
0 Imp/Stmt/Stmt.agda
0 Imp/Stmt/show.agda
0 UG/Chat/Client/Client.agda
0 UG/Chat/Client/handle-pong.agda
0 UG/Chat/Client/join-room.agda
0 UG/Chat/Client/send.agda
0 UG/Chat/Client/sync-time.agda
0 UG/Chat/Message/Message.agda
0 UG/Chat/Message/to-nat.agda
0 UG/SIPD/Event/Click/Click.agda
0 UG/SIPD/Event/Click/deserialize.agda
0 UG/SIPD/Event/Click/serialize.agda
0 UG/SIPD/Event/Click/show.agda
0 UG/SIPD/Event/Event.agda
0 UG/SIPD/Event/deserialize.agda
0 UG/SIPD/Event/get-events.agda
0 UG/SIPD/Event/serialize.agda
0 UG/SIPD/Event/show.agda
0 UG/SIPD/Player/Player.agda
0 UG/SIPD/Player/draw.agda
0 UG/SIPD/Player/init.agda
0 UG/SIPD/Renderer/Renderer.agda
0 UG/SIPD/Renderer/clear.agda
0 UG/SIPD/Renderer/create.agda
0 UG/SIPD/Renderer/present.agda
0 UG/SIPD/Renderer/set-renderer-draw-color.agda
0 UG/SIPD/State/State.agda
0 UG/SIPD/State/draw.agda
0 UG/SIPD/State/init.agda
0 UG/SIPD/Video/init.agda
0 UG/SIPD/Video/quit.agda
0 UG/SIPD/Window/Window.agda
0 UG/SIPD/Window/create.agda
0 UG/SIPD/draw.agda
0 UG/SM/ActionLogs/ActionLogs.agda
0 UG/SM/ActionLogs/add-action.agda
0 UG/SM/ActionLogs/get-actions.agda
0 UG/SM/Game/Game.agda
0 UG/SM/SM.agda
0 UG/SM/StateLogs/StateLogs.agda
0 UG/SM/StateLogs/find-rollback-amount.agda
0 UG/SM/StateLogs/push.agda
0 UG/SM/StateLogs/rollback.agda
0 UG/SM/Tick/Tick.agda
0 UG/SM/Time/Time.agda
0 UG/SM/Time/time-to-tick.agda
0 UG/SM/TimedAction/TimedAction.agda
0 UG/SM/action-in-list.agda
0 UG/SM/add-action-to-logs.agda
0 UG/SM/compute.agda
0 UG/SM/get-initial-state.agda
0 UG/SM/new-mach.agda
0 UG/SM/register-action.agda
0 UG/SM/remove-future-states.agda
0 UG/SM/update-cached-tick.agda
0 UG/SM/update-genesis-tick.agda
0 UG/SM/update-mach.agda
0 UG/Shape/Shape.agda
0 UG/Shape/draw.agda
0 UG/Shape/square.agda
1 ./ARC/DSL/Functions/branch.agda
1 ./ARC/DSL/Functions/chain.agda
1 ./ARC/DSL/Functions/fork.agda
1 ./ARC/DSL/Functions/rbind.agda
1 ./ARC/DSL/Types/Boolean/Boolean.agda
1 ./ARC/DSL/Types/Boolean/Functions.agda
1 ./ARC/DSL/Types/Integer/Functions.agda
1 ./ARC/DSL/Types/Integer/Integer.agda
1 ./ARC/DSL/Types/List/Functions.agda
1 ./ARC/DSL/Types/List/List.agda
1 ./ARC/DSL/Types/ListList/ListList.agda
1 ./ARC/DSL/Types/OrdSet/Functions.agda
1 ./ARC/DSL/Types/OrdSet/OrdSet.agda
1 ./ARC/DSL/Types/Pair/Functions.agda
1 ./ARC/DSL/Types/Pair/Pair.agda
1 ./ARC/DSL/Types/Union/Functions.agda
1 ./ARC/DSL/Types/Union/Union.agda
1 ./Base/BinTree/fold.agda
1 ./Base/Bits/and.agda
1 ./Base/Bits/append.agda
1 ./Base/Bits/dec.agda
1 ./Base/Bits/inc.agda
1 ./Base/Bits/normal.agda
1 ./Base/Bits/not.agda
1 ./Base/Bits/or.agda
1 ./Base/Bits/pred.agda
1 ./Base/Bits/reverse.agda
1 ./Base/Bits/succ.agda
1 ./Base/Bits/xor.agda
1 ./Base/Bool/and.agda
1 ./Base/Bool/eq.agda
1 ./Base/Bool/if.agda
1 ./Base/Bool/neq.agda
1 ./Base/Bool/not.agda
1 ./Base/Bool/or.agda
1 ./Base/Bool/xor.agda
1 ./Base/ByteString/append.agda
1 ./Base/ByteString/tail.agda
1 ./Base/Char/Char.agda
1 ./Base/Char/to-lower.agda
1 ./Base/Char/to-upper.agda
1 ./Base/DiffList/DiffList.agda
1 ./Base/Either/ALL.agda
1 ./Base/Empty/ALL.agda
1 ./Base/Equal/apply.agda
1 ./Base/Equal/erase.agda
1 ./Base/Equal/subst.agda
1 ./Base/Equal/sym.agda
1 ./Base/Equal/trans.agda
1 ./Base/F64/acos.agda
1 ./Base/F64/add.agda
1 ./Base/F64/asin.agda
1 ./Base/F64/atan.agda
1 ./Base/F64/cos.agda
1 ./Base/F64/cosh.agda
1 ./Base/F64/div.agda
1 ./Base/F64/exp.agda
1 ./Base/F64/log.agda
1 ./Base/F64/mul.agda
1 ./Base/F64/negate.agda
1 ./Base/F64/sin.agda
1 ./Base/F64/sinh.agda
1 ./Base/F64/sqrt.agda
1 ./Base/F64/sub.agda
1 ./Base/F64/tan.agda
1 ./Base/F64/tanh.agda
1 ./Base/IO/Monad/bind.agda
1 ./Base/IO/Monad/pure.agda
1 ./Base/List/Monad/pure.agda
1 ./Base/List/Omega/Omega.agda
1 ./Base/List/append.agda
1 ./Base/List/foldl.agda
1 ./Base/List/foldr.agda
1 ./Base/List/intersperse.agda
1 ./Base/List/map.agda
1 ./Base/List/match.agda
1 ./Base/List/singleton.agda
1 ./Base/List/zip-with.agda
1 ./Base/Maybe/Monad/bind.agda
1 ./Base/Maybe/Monad/pure.agda
1 ./Base/Maybe/fold.agda
1 ./Base/Maybe/map.agda
1 ./Base/Maybe/run.agda
1 ./Base/Nat/add.agda
1 ./Base/Nat/double.agda
1 ./Base/Nat/half.agda
1 ./Base/Nat/match.agda
1 ./Base/Nat/pred.agda
1 ./Base/Nat/sub.agda
1 ./Base/Pair/get-fst.agda
1 ./Base/Pair/get-snd.agda
1 ./Base/Pair/map.agda
1 ./Base/Pair/mut-fst.agda
1 ./Base/Pair/mut-snd.agda
1 ./Base/Pair/set-fst.agda
1 ./Base/Pair/set-snd.agda
1 ./Base/Parser/Examples/LambdaTerm/LambdaTerm.agda
1 ./Base/Parser/Reply.agda
1 ./Base/Result/Monad/bind.agda
1 ./Base/Result/fold.agda
1 ./Base/String/String.agda
1 ./Base/String/append.agda
1 ./Base/String/show.agda
1 ./Base/Time/ALL.agda
1 ./Base/Trait/Monoid.agda
1 ./Base/Trait/Show.agda
1 ./Base/V2/V2.agda
1 ./Bend/Net/Port/Port.agda
1 ./Bend/Net/net-root.agda
1 ./Bend/Source/TextLocation.agda
1 ./Bend/Source/TextSpan.agda
1 ./Imp/Eval/Memory/Memory.agda
1 ./Main.agda
1 ./UG/Chat/Message/Message.agda
1 ./UG/SM/Tick/Tick.agda
1 ./UG/SM/Time/Time.agda
1 ./UG/SM/TimedAction/TimedAction.agda
2 ./ARC/DSL/Functions/both.agda
2 ./ARC/DSL/Functions/dedupe.agda
2 ./ARC/DSL/Functions/difference.agda
2 ./ARC/DSL/Functions/either.agda
2 ./ARC/DSL/Functions/equality.agda
2 ./ARC/DSL/Functions/flip.agda
2 ./ARC/DSL/Functions/pair.agda
2 ./ARC/DSL/Types/Grid/Grid.agda
2 ./ARC/DSL/Types/Indices/Indices.agda
2 ./ARC/DSL/Types/IndicesSet/IndicesSet.agda
2 ./ARC/DSL/Types/IntegerList/IntegerList.agda
2 ./ARC/DSL/Types/IntegerSet/IntegerSet.agda
2 ./ARC/DSL/Types/Numerical/Numerical.agda
2 ./ARC/DSL/Types/Object/Object.agda
2 ./ARC/DSL/Types/Objects/Objects.agda
2 ./Base/AVLTree/AVLTree.agda
2 ./Base/AVLTree/Balance/eq.agda
2 ./Base/AVLTree/Balance/neq.agda
2 ./Base/AVLTree/empty.agda
2 ./Base/AVLTree/fold.agda
2 ./Base/BinTree/merge.agda
2 ./Base/BitMap/BitMap.agda
2 ./Base/BitMap/empty.agda
2 ./Base/BitMap/new.agda
2 ./Base/Bits/add.agda
2 ./Base/Bits/concat.agda
2 ./Base/Bits/eq.agda
2 ./Base/Bits/gt.agda
2 ./Base/Bits/length.agda
2 ./Base/Bits/lshift.agda
2 ./Base/Bits/lt.agda
2 ./Base/Bits/mul.agda
2 ./Base/Bits/pad-zeros.agda
2 ./Base/Bits/rshift.agda
2 ./Base/Bits/take.agda
2 ./Base/Bool/show.agda
2 ./Base/ByteString/concat.agda
2 ./Base/ByteString/cons.agda
2 ./Base/ByteString/head.agda
2 ./Base/ByteString/is-empty.agda
2 ./Base/ByteString/show.agda
2 ./Base/ByteString/take.agda
2 ./Base/Char/eq.agda
2 ./Base/Char/from-nat.agda
2 ./Base/Char/is-alpha.agda
2 ./Base/Char/is-ascii.agda
2 ./Base/Char/is-digit.agda
2 ./Base/Char/is-hex-digit.agda
2 ./Base/Char/is-latin1.agda
2 ./Base/Char/is-lower.agda
2 ./Base/Char/is-print.agda
2 ./Base/Char/is-space.agda
2 ./Base/Char/to-nat.agda
2 ./Base/Concurrent/Channel/new.agda
2 ./Base/DiffList/cons.agda
2 ./Base/DiffList/empty.agda
2 ./Base/DiffList/snoc.agda
2 ./Base/DiffList/to-list.agda
2 ./Base/F64/double.agda
2 ./Base/F64/eq.agda
2 ./Base/F64/from-int.agda
2 ./Base/F64/from-nat.agda
2 ./Base/F64/half.agda
2 ./Base/F64/lt.agda
2 ./Base/F64/show.agda
2 ./Base/F64/square.agda
2 ./Base/IO/get-line.agda
2 ./Base/IO/read-file.agda
2 ./Base/Int/Int.agda
2 ./Base/Int/from-nat.agda
2 ./Base/Int/from-neg.agda
2 ./Base/List/Monad/bind.agda
2 ./Base/List/Omega/Monad/pure.agda
2 ./Base/List/Omega/each.agda
2 ./Base/List/drop-while.agda
2 ./Base/List/drop.agda
2 ./Base/List/empty.agda
2 ./Base/List/filter.agda
2 ./Base/List/head.agda
2 ./Base/List/insert-at-sorted.agda
2 ./Base/List/insert-at.agda
2 ./Base/List/intercalate.agda
2 ./Base/List/is-cons.agda
2 ./Base/List/is-nil.agda
2 ./Base/List/iterate.agda
2 ./Base/List/last.agda
2 ./Base/List/length.agda
2 ./Base/List/mfoldl.agda
2 ./Base/List/mmap.agda
2 ./Base/List/replicate.agda
2 ./Base/List/reverse.agda
2 ./Base/List/tail.agda
2 ./Base/List/tails.agda
2 ./Base/List/take-while.agda
2 ./Base/List/take.agda
2 ./Base/List/unzip-with.agda
2 ./Base/List/update-at.agda
2 ./Base/List/zip-cons.agda
2 ./Base/Maybe/to-bool.agda
2 ./Base/Maybe/to-list.agda
2 ./Base/Maybe/to-result.agda
2 ./Base/Nat/compare.agda
2 ./Base/Nat/div/go.agda
2 ./Base/Nat/eq.agda
2 ./Base/Nat/exp.agda
2 ./Base/Nat/is-zero.agda
2 ./Base/Nat/lt.agda
2 ./Base/Nat/mod.agda
2 ./Base/Nat/mul.agda
2 ./Base/Nat/show.agda
2 ./Base/Nat/to-u64.agda
2 ./Base/Network/HTTP/Method/to-string.agda
2 ./Base/Network/HTTP/fetch.agda
2 ./Base/OrdMap/OrdMap.agda
2 ./Base/OrdMap/empty.agda
2 ./Base/OrdMap/fold.agda
2 ./Base/OrdSet/OrdSet.agda
2 ./Base/OrdSet/empty.agda
2 ./Base/Ordering/eq.agda
2 ./Base/Ordering/neq.agda
2 ./Base/Pair/to-list.agda
2 ./Base/Parser/Error.agda
2 ./Base/Parser/Examples/LambdaTerm/new.agda
2 ./Base/Parser/State.agda
2 ./Base/Queue/enqueue.agda
2 ./Base/String/eq.agda
2 ./Base/Time/now.agda
2 ./Base/Trait/Eq.agda
2 ./Base/U64/U64.agda
2 ./Base/U64/double.agda
2 ./Base/U64/to-nat.agda
2 ./Base/Unit/eq.agda
2 ./Base/Unit/neq.agda
2 ./Base/V2/div.agda
2 ./Base/V2/sub.agda
2 ./Base/Word8/from-nat.agda
2 ./Base/Word8/to-nat.agda
2 ./Bend/Fun/Pattern/children.agda
2 ./Bend/Fun/Rule/Rule.agda
2 ./Bend/Fun/Term/is-ref.agda
2 ./Bend/Fun/Type/Type.agda
2 ./Bend/Net/Node/Node.agda
2 ./Bend/Net/NodeKind/NodeKind.agda
2 ./Bend/Net/NodeKind/from-fan-kind.agda
2 ./Bend/Parser/ParseBook/new.agda
2 ./Debug/Trace.agda
2 ./HVM/Mode/is-wired.agda
2 ./HVM/Redex/Redex.agda
2 ./UG/Chat/Message/to-nat.agda
2 ./UG/SIPD/Event/Click/show.agda
2 ./UG/SIPD/Video/init.agda
2 ./UG/SIPD/Video/quit.agda
2 ./UG/SIPD/Window/create.agda
3 ./ARC/DSL/Functions/aslist.agda
3 ./ARC/DSL/Functions/even.agda
3 ./ARC/DSL/Functions/greater.agda
3 ./ARC/DSL/Functions/insert.agda
3 ./ARC/DSL/Functions/int-cmp.agda
3 ./ARC/DSL/Functions/intersection.agda
3 ./ARC/DSL/Functions/lbind.agda
3 ./ARC/DSL/Functions/matcher.agda
3 ./ARC/DSL/Functions/positive.agda
3 ./ARC/DSL/Functions/toivec.agda
3 ./ARC/DSL/Functions/tojvec.agda
3 ./ARC/DSL/Types/Cell/Cell.agda
3 ./ARC/DSL/Types/Element/Element.agda
3 ./ARC/DSL/Types/Patch/Patch.agda
3 ./ARC/DSL/Types/Piece/Piece.agda
3 ./Base/AVLTree/height.agda
3 ./Base/AVLTree/maximum.agda
3 ./Base/AVLTree/minimum.agda
3 ./Base/AVLTree/singleton.agda
3 ./Base/AVLTree/size.agda
3 ./Base/BinTree/Trait/Show.agda
3 ./Base/BinTree/sum.agda
3 ./Base/BitMap/Trait/Show.agda
3 ./Base/BitMap/merge.agda
3 ./Base/Bits/Trait/Show.agda
3 ./Base/Bits/add-.agda
3 ./Base/Bits/dec-.agda
3 ./Base/Bits/is-zero.agda
3 ./Base/Bits/normal-.agda
3 ./Base/Bits/not-.agda
3 ./Base/Bits/or-.agda
3 ./Base/Bits/reverse-.agda
3 ./Base/Bits/show.agda
3 ./Base/Bits/xor-.agda
3 ./Base/Bool/Trait/Show.agda
3 ./Base/Bool/eq-.agda
3 ./Base/Bool/neq-.agda
3 ./Base/Bool/not-.agda
3 ./Base/Bool/or-.agda
3 ./Base/Buffer/Buffer.agda
3 ./Base/ByteString/Trait/Show.agda
3 ./Base/ByteString/pack-string.agda
3 ./Base/ByteString/unpack.agda
3 ./Base/Char/Trait/Show.agda
3 ./Base/Char/digit-to-nat.agda
3 ./Base/Concurrent/Channel/read.agda
3 ./Base/Concurrent/Channel/write.agda
3 ./Base/DiffList/append.agda
3 ./Base/Equal/left.agda
3 ./Base/Equal/right.agda
3 ./Base/F64/Trait/Show.agda
3 ./Base/F64/floor.agda
3 ./Base/F64/gt.agda
3 ./Base/F64/max.agda
3 ./Base/F64/min.agda
3 ./Base/F64/sub-.agda
3 ./Base/F64/to-u64.agda
3 ./Base/Function/ALL.agda
3 ./Base/IO/append-file.agda
3 ./Base/IO/delete-file.agda
3 ./Base/IO/is-directory.agda
3 ./Base/IO/is-file.agda
3 ./Base/IO/mkdir.agda
3 ./Base/IO/print.agda
3 ./Base/IO/write-file.agda
3 ./Base/Int/Trait/Show.agda
3 ./Base/Int/neg.agda
3 ./Base/Int/to-nat.agda
3 ./Base/JSON/Trait/Show.agda
3 ./Base/List/Omega/take.agda
3 ./Base/List/Trait/Show.agda
3 ./Base/List/cartesian-product.agda
3 ./Base/List/compare.agda
3 ./Base/List/concat-map.agda
3 ./Base/List/concat-maybes.agda
3 ./Base/List/concat.agda
3 ./Base/List/find.agda
3 ./Base/List/gt.agda
3 ./Base/List/gte.agda
3 ./Base/List/inits.agda
3 ./Base/List/insertion-sort.agda
3 ./Base/List/lookup.agda
3 ./Base/List/lt.agda
3 ./Base/List/lte.agda
3 ./Base/List/sort.agda
3 ./Base/List/split-chunks.agda
3 ./Base/List/unsnoc.agda
3 ./Base/List/unzip.agda
3 ./Base/List/zip.agda
3 ./Base/Maybe/Trait/Show.agda
3 ./Base/Maybe/eq.agda
3 ./Base/Nat/Trait/Add.agda
3 ./Base/Nat/Trait/Show.agda
3 ./Base/Nat/div.agda
3 ./Base/Nat/gt.agda
3 ./Base/Nat/gte.agda
3 ./Base/Nat/half-.agda
3 ./Base/Nat/max-.agda
3 ./Base/Nat/min-.agda
3 ./Base/Nat/pred-.agda
3 ./Base/Nat/rshift-.agda
3 ./Base/Nat/rshift.agda
3 ./Base/Nat/xor-.agda
3 ./Base/Network/WebSocket/receive-data.agda
3 ./Base/OrdMap/difference.agda
3 ./Base/OrdMap/intersect.agda
3 ./Base/OrdMap/keys.agda
3 ./Base/OrdMap/values.agda
3 ./Base/OrdSet/delete.agda
3 ./Base/OrdSet/difference.agda
3 ./Base/OrdSet/intersect.agda
3 ./Base/OrdSet/map.agda
3 ./Base/OrdSet/size.agda
3 ./Base/OrdSet/union.agda
3 ./Base/Pair/Trait/Show.agda
3 ./Base/Queue/ALL.agda
3 ./Base/Result/Trait/Monad.agda
3 ./Base/String/Trait/Monoid.agda
3 ./Base/String/Trait/Show.agda
3 ./Base/String/from-list.agda
3 ./Base/String/show-.agda
3 ./Base/String/to-list.agda
3 ./Base/U64/Trait/Show.agda
3 ./Base/U64/from-bool.agda
3 ./Base/U64/from-nat.agda
3 ./Base/V2/Trait/Show.agda
3 ./Base/V2/add.agda
3 ./Base/V2/div-scalar.agda
3 ./Base/V2/max.agda
3 ./Base/V2/min.agda
3 ./Base/V2/mul-scalar.agda
3 ./Base/V2/negate.agda
3 ./Base/V2/normalize.agda
3 ./Base/V2/perpendicular.agda
3 ./Base/Word8/ALL.agda
3 ./Bend/Cli/Command/from-string.agda
3 ./Bend/Compile/NetToHvm/State/State.agda
3 ./Bend/Fun/Adt/Adt.agda
3 ./Bend/Fun/Adt/CtrField.agda
3 ./Bend/Fun/MatchRule/MatchRule.agda
3 ./Bend/Fun/Num/Num.agda
3 ./Bend/Fun/Op/show.agda
3 ./Bend/Fun/Pattern/map-children.agda
3 ./Bend/Fun/Type/from-fn-sig.agda
3 ./Bend/Fun/show-bind.agda
3 ./Bend/Net/Port/to-pair.agda
3 ./Bend/Parser/parse-top-level-name.agda
3 ./Bend/Parser/parse-var-name.agda
3 ./Bend/Source/is-builtin.agda
3 ./HVM/Addr/Addr.agda
3 ./HVM/Run/Run.agda
3 ./Imp/Eval/Config/Grid/Grid.agda
3 ./Imp/Eval/Env/pop.agda
3 ./Imp/Eval/Env/push.agda
3 ./Imp/Eval/Frame/Frame.agda
3 ./Imp/Eval/State/Grid/Grid.agda
3 ./UG/SIPD/Renderer/clear.agda
3 ./UG/SIPD/Renderer/create.agda
3 ./UG/SIPD/Renderer/present.agda
3 ./UG/Shape/Shape.agda
3 ./UG/Shape/circle.agda
4 ./ARC/DSL/Functions/mpapply.agda
4 ./ARC/DSL/Functions/power.agda
4 ./ARC/DSL/Functions/rapply.agda
4 ./ARC/DSL/Functions/repeat.agda
4 ./ARC/DSL/Functions/tolist.agda
4 ./Base/AVLTree/Balance/Trait/Eq.agda
4 ./Base/AVLTree/delete.agda
4 ./Base/AVLTree/to-list.agda
4 ./Base/BinTree/Trait/Eq.agda
4 ./Base/BinTree/eq.agda
4 ./Base/BinTree/show.agda
4 ./Base/BitMap/Test/empty.agda
4 ./Base/BitMap/Test/new.agda
4 ./Base/BitMap/count.agda
4 ./Base/BitMap/del.agda
4 ./Base/BitMap/get.agda
4 ./Base/BitMap/values.agda
4 ./Base/Bits/Trait/Eq.agda
4 ./Base/Bits/concat-.agda
4 ./Base/Bits/div-.agda
4 ./Base/Bits/eq-.agda
4 ./Base/Bits/from-nat-.agda
4 ./Base/Bits/gt-.agda
4 ./Base/Bits/gte.agda
4 ./Base/Bits/inc-.agda
4 ./Base/Bits/length-.agda
4 ./Base/Bits/lte.agda
4 ./Base/Bits/mod-.agda
4 ./Base/Bits/neq.agda
4 ./Base/Bits/pad-zeros-.agda
4 ./Base/Bits/pred-.agda
4 ./Base/Bits/show-.agda
4 ./Base/Bits/show-rev.agda
4 ./Base/Bits/split-at.agda
4 ./Base/Bits/succ-.agda
4 ./Base/Bits/to-nat-.agda
4 ./Base/Bits/to-nat.agda
4 ./Base/Bool/Trait/Eq.agda
4 ./Base/Bool/show-.agda
4 ./Base/Buffer/ALL.agda
4 ./Base/ByteString/pack.agda
4 ./Base/Char/Trait/Eq.agda
4 ./Base/Char/compare.agda
4 ./Base/Char/eq-.agda
4 ./Base/Char/gt.agda
4 ./Base/Char/gte.agda
4 ./Base/Char/hex-to-nat.agda
4 ./Base/Char/lt.agda
4 ./Base/Char/lte.agda
4 ./Base/Char/neq.agda
4 ./Base/Char/show-.agda
4 ./Base/Char/show.agda
4 ./Base/Concurrent/ALL.agda
4 ./Base/F64/Trait/Eq.agda
4 ./Base/F64/from-u64.agda
4 ./Base/F64/gte.agda
4 ./Base/F64/lte.agda
4 ./Base/F64/mod.agda
4 ./Base/F64/neq-.agda
4 ./Base/F64/neq.agda
4 ./Base/IO/Trait/Monad.agda
4 ./Base/IO/get-args.agda
4 ./Base/Int/Test/from-neg.agda
4 ./Base/Int/Trait/Eq.agda
4 ./Base/Int/compare.agda
4 ./Base/Int/eq.agda
4 ./Base/Int/gt.agda
4 ./Base/Int/gte.agda
4 ./Base/Int/lt.agda
4 ./Base/Int/lte.agda
4 ./Base/Int/mul.agda
4 ./Base/Int/neq.agda
4 ./Base/List/Omega/Monad/bind.agda
4 ./Base/List/Tm/is-cons.agda
4 ./Base/List/Tm/is-nil.agda
4 ./Base/List/Trait/Eq.agda
4 ./Base/List/Trait/Monad.agda
4 ./Base/List/all-equal.agda
4 ./Base/List/all-true.agda
4 ./Base/List/and.agda
4 ./Base/List/any-true.agda
4 ./Base/List/cartesian-product-with.agda
4 ./Base/List/contains.agda
4 ./Base/List/diagonal.agda
4 ./Base/List/eq.agda
4 ./Base/List/or.agda
4 ./Base/List/product.agda
4 ./Base/List/show.agda
4 ./Base/List/split-first.agda
4 ./Base/List/sum.agda
4 ./Base/Maybe/Trait/Eq.agda
4 ./Base/Maybe/Trait/Monad.agda
4 ./Base/Maybe/show.agda
4 ./Base/Nat/Trait/Eq.agda
4 ./Base/Nat/add-.agda
4 ./Base/Nat/compare-.agda
4 ./Base/Nat/double-.agda
4 ./Base/Nat/exp-.agda
4 ./Base/Nat/gt-.agda
4 ./Base/Nat/gte-.agda
4 ./Base/Nat/is-zero-.agda
4 ./Base/Nat/lt-.agda
4 ./Base/Nat/lte-.agda
4 ./Base/Nat/match-.agda
4 ./Base/Nat/max.agda
4 ./Base/Nat/min.agda
4 ./Base/Nat/neq-.agda
4 ./Base/Nat/neq.agda
4 ./Base/Nat/range.agda
4 ./Base/Nat/show-.agda
4 ./Base/Nat/to-bits-.agda
4 ./Base/Nat/xor.agda
4 ./Base/Network/WebSocket/send-close.agda
4 ./Base/Network/WebSocket/send-text-data.agda
4 ./Base/OrdMap/singleton.agda
4 ./Base/OrdSet/contains.agda
4 ./Base/OrdSet/fold.agda
4 ./Base/OrdSet/maximum.agda
4 ./Base/OrdSet/minimum.agda
4 ./Base/OrdSet/to-list.agda
4 ./Base/Ordering/ALL.agda
4 ./Base/Ordering/Trait/Eq.agda
4 ./Base/Pair/Trait/Eq.agda
4 ./Base/Pair/eq.agda
4 ./Base/Pair/show.agda
4 ./Base/Parser/Monad/pure.agda
4 ./Base/Parser/Parser.agda
4 ./Base/Parser/map.agda
4 ./Base/Queue/Queue.agda
4 ./Base/Result/ALL.agda
4 ./Base/String/Trait/Eq.agda
4 ./Base/String/contains-.agda
4 ./Base/String/contains.agda
4 ./Base/String/eq-.agda
4 ./Base/String/from-char.agda
4 ./Base/String/length.agda
4 ./Base/String/lte-.agda
4 ./Base/String/neq-.agda
4 ./Base/String/neq.agda
4 ./Base/String/uncons.agda
4 ./Base/Trait/Ord.agda
4 ./Base/U64/Test/eq.agda
4 ./Base/U64/Test/show.agda
4 ./Base/U64/Trait/Eq.agda
4 ./Base/U64/add.agda
4 ./Base/U64/gt.agda
4 ./Base/U64/gte.agda
4 ./Base/U64/if.agda
4 ./Base/U64/lt.agda
4 ./Base/U64/lte.agda
4 ./Base/U64/mod.agda
4 ./Base/U64/mul.agda
4 ./Base/U64/neq.agda
4 ./Base/Unit/ALL.agda
4 ./Base/Unit/Trait/Eq.agda
4 ./Base/V2/Trait/Eq.agda
4 ./Base/V2/dist.agda
4 ./Base/V2/dot.agda
4 ./Base/V2/show.agda
4 ./Bend/Compile/NetToHvm/State/new.agda
4 ./Bend/Fun/Book/new.agda
4 ./Bend/Fun/Pattern/map-binds.agda
4 ./Bend/Net/Net.agda
4 ./Bend/Parser/consume-exactly.agda
4 ./Bend/Run/show-hvm.agda
4 ./Bend/Source/Source.agda
4 ./Bend/Source/from-file-span.agda
4 ./HVM/Net/Net.agda
4 ./HVM/Rule/void.agda
4 ./HVM/Run/Monad/bind.agda
4 ./HVM/Run/Monad/pure.agda
4 ./HVM/Run/get.agda
4 ./HVM/Run/state-get.agda
4 ./HVM/Term/show.agda
4 ./Imp/Eval/Env/Env.agda
4 ./Imp/Eval/State/Block/Block.agda
4 ./UG/Chat/Client/Client.agda
4 ./UG/SIPD/Event/Event.agda
4 ./UG/SIPD/Player/Player.agda
4 ./UG/SIPD/Renderer/set-renderer-draw-color.agda
4 ./UG/SM/StateLogs/push.agda
4 ./UG/SM/action-in-list.agda
4 ./UG/SM/add-action-to-logs.agda
4 ./UG/Shape/triangle.agda
5 ./ARC/DSL/Functions/add.agda
5 ./ARC/DSL/Functions/apply.agda
5 ./ARC/DSL/Functions/argmin.agda
5 ./ARC/DSL/Functions/decrement.agda
5 ./ARC/DSL/Functions/divide.agda
5 ./ARC/DSL/Functions/double.agda
5 ./ARC/DSL/Functions/extract.agda
5 ./ARC/DSL/Functions/first.agda
5 ./ARC/DSL/Functions/halve.agda
5 ./ARC/DSL/Functions/increment.agda
5 ./ARC/DSL/Functions/initset.agda
5 ./ARC/DSL/Functions/interval.agda
5 ./ARC/DSL/Functions/invert.agda
5 ./ARC/DSL/Functions/mapply.agda
5 ./ARC/DSL/Functions/maximum.agda
5 ./ARC/DSL/Functions/multiply.agda
5 ./ARC/DSL/Functions/other.agda
5 ./ARC/DSL/Functions/product.agda
5 ./ARC/DSL/Functions/subtract.agda
5 ./ARC/DSL/Types/Container/Functions.agda
5 ./Base/AVLTree/get-pair.agda
5 ./Base/AVLTree/get.agda
5 ./Base/AVLTree/has-key.agda
5 ./Base/AVLTree/keys.agda
5 ./Base/AVLTree/union.agda
5 ./Base/AVLTree/values.agda
5 ./Base/BinTree/all-equal.agda
5 ./Base/BinTree/neq.agda
5 ./Base/BitMap/contains.agda
5 ./Base/BitMap/show.agda
5 ./Base/BitMap/swap.agda
5 ./Base/BitMap/take.agda
5 ./Base/Bits/compare.agda
5 ./Base/Bits/div.agda
5 ./Base/Bits/from-char.agda
5 ./Base/Bits/lshift-.agda
5 ./Base/Bits/lt-.agda
5 ./Base/Bits/mod.agda
5 ./Base/Bits/rshift-.agda
5 ./Base/Bits/split-chunks.agda
5 ./Base/Bits/sub-.agda
5 ./Base/Bits/sub.agda
5 ./Base/Bits/to-char.agda
5 ./Base/ByteString/drop.agda
5 ./Base/ByteString/read-f64.agda
5 ./Base/F64/and.agda
5 ./Base/F64/compare.agda
5 ./Base/F64/or.agda
5 ./Base/F64/show-.agda
5 ./Base/Int/show.agda
5 ./Base/Int/to-bits.agda
5 ./Base/JSON/JSON.agda
5 ./Base/List/difference.agda
5 ./Base/List/neq-.agda
5 ./Base/List/neq.agda
5 ./Base/List/remove-at.agda
5 ./Base/List/split-at-element.agda
5 ./Base/List/split-at.agda
5 ./Base/Maybe/neq.agda
5 ./Base/Nat/eq-.agda
5 ./Base/Nat/lte.agda
5 ./Base/Nat/mod-.agda
5 ./Base/Nat/mul-.agda
5 ./Base/Nat/sub-.agda
5 ./Base/Network/WebSocket/receive-binary-data.agda
5 ./Base/Network/WebSocket/run-client.agda
5 ./Base/Network/WebSocket/run-concurrent-client.agda
5 ./Base/Network/WebSocket/run-secure-client.agda
5 ./Base/Network/WebSocket/send-binary-data.agda
5 ./Base/OrdMap/delete.agda
5 ./Base/OrdMap/get-pair.agda
5 ./Base/OrdMap/get.agda
5 ./Base/OrdMap/insert.agda
5 ./Base/OrdMap/to-list.agda
5 ./Base/OrdMap/union.agda
5 ./Base/OrdSet/insert.agda
5 ./Base/OrdSet/singleton.agda
5 ./Base/Pair/neq.agda
5 ./Base/Parser/Error-.agda
5 ./Base/Parser/Monad/bind.agda
5 ./Base/Parser/State-.agda
5 ./Base/Parser/alternative.agda
5 ./Base/Parser/fail.agda
5 ./Base/Queue/dequeue.agda
5 ./Base/String/foldr.agda
5 ./Base/String/head.agda
5 ./Base/String/is-empty.agda
5 ./Base/String/replicate.agda
5 ./Base/String/to-nat-base-.agda
5 ./Base/U64/compare.agda
5 ./Base/U64/eq.agda
5 ./Base/U64/max.agda
5 ./Base/U64/min.agda
5 ./Base/U64/show.agda
5 ./Base/U64/sub.agda
5 ./Base/U64/to-bits.agda
5 ./Base/V2/eq.agda
5 ./Base/V2/length.agda
5 ./Base/V2/lerp.agda
5 ./Base/V2/sqr-dist.agda
5 ./Bend/Compile/BendToNet/Encoder/encode-num.agda
5 ./Bend/Compile/BendToNet/Encoder/link.agda
5 ./Bend/Compile/BendToNet/Encoder/new-node.agda
5 ./Bend/Compile/BendToNet/Encoder/new.agda
5 ./Bend/Fun/Adt/Ctr.agda
5 ./Bend/Fun/Book/Book.agda
5 ./Bend/Fun/Book/add-fn-def.agda
5 ./Bend/Fun/Book/contains-def.agda
5 ./Bend/Fun/Pattern/Pattern.agda
5 ./Bend/Fun/Pattern/unscoped-binds.agda
5 ./Bend/Net/Node/get.agda
5 ./Bend/Net/Node/set.agda
5 ./Bend/Net/Port/to-bits.agda
5 ./Bend/Net/link.agda
5 ./Bend/Parser/ParseBook/ParseBook.agda
5 ./Bend/Parser/is-name-char-.agda
5 ./HVM/Redex/show.agda
5 ./HVM/Run/state-mut.agda
5 ./HVM/Run/state-set.agda
5 ./HVM/Term/Term.agda
5 ./Imp/Expr/Expr.agda
5 ./Imp/Expr/show.agda
5 ./Imp/Notation.agda
5 ./UG/Chat/Client/time.agda
5 ./UG/SIPD/State/State.agda
5 ./UG/SM/SM.agda
5 ./UG/SM/StateLogs/StateLogs.agda
5 ./UG/SM/update-cached-tick.agda
5 ./UG/SM/update-mach.agda
6 ./ARC/DSL/Functions/combine.agda
6 ./ARC/DSL/Functions/container-to-list.agda
6 ./ARC/DSL/Functions/last.agda
6 ./ARC/DSL/Functions/mfilter.agda
6 ./ARC/DSL/Functions/papply.agda
6 ./ARC/DSL/Functions/size.agda
6 ./ARC/DSL/Types/Container/Container.agda
6 ./Base/AVLTree/Balance/rotate-left.agda
6 ./Base/AVLTree/Balance/rotate-right.agda
6 ./Base/AVLTree/invert.agda
6 ./Base/AVLTree/map-keys.agda
6 ./Base/AVLTree/map-values.agda
6 ./Base/AVLTree/map.agda
6 ./Base/BinTree/count.agda
6 ./Base/BitMap/Tm/get-set.agda
6 ./Base/BitMap/insert.agda
6 ./Base/BitMap/set.agda
6 ./Base/BitMap/union.agda
6 ./Base/Bits/and-.agda
6 ./Base/Bits/append-.agda
6 ./Base/Bits/decode-utf8.agda
6 ./Base/Bits/mul-.agda
6 ./Base/DiffList/ALL.agda
6 ./Base/F64/from-bits.agda
6 ./Base/F64/to-bits.agda
6 ./Base/JSON/parse-null.agda
6 ./Base/List/Test/unsnoc.agda
6 ./Base/List/count.agda
6 ./Base/List/eq-.agda
6 ./Base/List/quicksort.agda
6 ./Base/List/show-.agda
6 ./Base/Maybe/Test/eq.agda
6 ./Base/Maybe/Test/show.agda
6 ./Base/Nat/range-.agda
6 ./Base/Nat/to-bits.agda
6 ./Base/OrdMap/from-list.agda
6 ./Base/OrdMap/has-key.agda
6 ./Base/Parser/Reply-.agda
6 ./Base/Parser/get-index.agda
6 ./Base/Parser/parse-quoted-char.agda
6 ./Base/String/compare.agda
6 ./Base/String/drop.agda
6 ./Base/String/gt.agda
6 ./Base/String/gte.agda
6 ./Base/String/join.agda
6 ./Base/String/lt.agda
6 ./Base/String/lte.agda
6 ./Base/String/split-at.agda
6 ./Base/Trait/ALL.agda
6 ./Base/U64/from-bits.agda
6 ./Base/V2/neq.agda
6 ./Bend/Fun/Book/get-adt.agda
6 ./Bend/Fun/Book/get-ctr.agda
6 ./Bend/Fun/FnDef/FnDef.agda
6 ./Bend/Fun/Pattern/binds.agda
6 ./Bend/Fun/Term/map-children.agda
6 ./Bend/Parser/ParseBook/TopLevel.agda
6 ./Bend/Parser/consume.agda
6 ./Bend/Parser/first-with-guard.agda
6 ./Bend/Parser/is-name-char.agda
6 ./Bend/Run/to-hvm.agda
6 ./Bend/Transform/FloatCombinators/map-float-children.agda
6 ./Bend/nat-to-name-.agda
6 ./Imp/Eval/State/Thread/Thread.agda
6 ./Imp/Stmt/Stmt.agda
6 ./UG/SIPD/Event/Click/deserialize.agda
6 ./UG/SIPD/Event/Click/serialize.agda
6 ./UG/SIPD/Event/get-events.agda
6 ./UG/SM/ActionLogs/get-actions.agda
6 ./UG/SM/Time/time-to-tick.agda
6 ./UG/SM/update-genesis-tick.agda
6 ./UG/Shape/draw.agda
6 ./UG/Shape/square.agda
7 ./ARC/DSL/Functions/crement.agda
7 ./ARC/DSL/Functions/merge.agda
7 ./ARC/DSL/Functions/sfilter.agda
7 ./Base/AVLTree/from-list.agda
7 ./Base/BinTree/eq-.agda
7 ./Base/BinTree/show-.agda
7 ./Base/BitMap/Examples/mutation.agda
7 ./Base/BitMap/Test/count.agda
7 ./Base/BitMap/difference.agda
7 ./Base/BitMap/from-list.agda
7 ./Base/BitMap/to-list.agda
7 ./Base/Bits/Decode-utf8/decode-utf8-go.agda
7 ./Base/Bits/Trait/Ord.agda
7 ./Base/Bits/conversion-tests-.agda
7 ./Base/Bits/pad-length.agda
7 ./Base/Buffer/get.agda
7 ./Base/ByteString/slice.agda
7 ./Base/Char/Trait/Ord.agda
7 ./Base/F64/Trait/Ord.agda
7 ./Base/Int/Trait/Ord.agda
7 ./Base/List/Trait/Ord.agda
7 ./Base/List/dedup.agda
7 ./Base/List/is-asc.agda
7 ./Base/Nat/Trait/Ord.agda
7 ./Base/Nat/div-.agda
7 ./Base/Nat/to-u64-.agda
7 ./Base/OrdSet/from-list.agda
7 ./Base/Pair/neq-.agda
7 ./Base/Parser/fail-.agda
7 ./Base/Parser/is-eof.agda
7 ./Base/Parser/starts-with.agda
7 ./Base/String/Trait/Ord.agda
7 ./Base/String/starts-with.agda
7 ./Base/U64/Trait/Ord.agda
7 ./Base/U64/and.agda
7 ./Base/U64/not.agda
7 ./Base/U64/or.agda
7 ./Base/U64/xor.agda
7 ./Bend/Compile/BendToNet/Encoder/Encoder.agda
7 ./Bend/Compile/NetToHvm/nets-to-hvm.agda
7 ./Bend/Fun/Term/map-children-with-state.agda
7 ./Bend/Net/NodeKind/show.agda
7 ./Bend/Net/Port/show.agda
7 ./Bend/Parser/is-digit-radix.agda
7 ./Bend/Parser/try-consume-exactly.agda
7 ./Bend/Transform/subst.agda
7 ./HVM/Rule/anni.agda
7 ./HVM/Rule/eras.agda
7 ./HVM/Run/boot.agda
7 ./Imp/Eval/Env/get.agda
7 ./Imp/Stmt/show.agda
7 ./T1-.agda
7 ./UG/SIPD/Event/show.agda
7 ./UG/SM/remove-future-states.agda
7 ./UG/Shape/pentagon.agda
8 ./ARC/DSL/Functions/prapply.agda
8 ./ARC/DSL/Functions/sign.agda
8 ./Base/AVLTree/difference.agda
8 ./Base/BitMap/Test/contains.agda
8 ./Base/BitMap/Test/get.agda
8 ./Base/BitMap/Test/set.agda
8 ./Base/Bits/from-nat.agda
8 ./Base/ByteString/write-f64-as-nat.agda
8 ./Base/Equal/ALL.agda
8 ./Base/F64/eq-.agda
8 ./Base/IO/exists.agda
8 ./Base/JSON/parse-array.agda
8 ./Base/JSON/parse-bool.agda
8 ./Base/List/Test/split-chunks.agda
8 ./Base/List/split-last.agda
8 ./Base/List/starts-with.agda
8 ./Base/Pair/show-.agda
8 ./Base/Parser/Test-.agda
8 ./Base/Parser/is-eof-.agda
8 ./Base/Parser/parse-name-.agda
8 ./Base/Parser/parse-string-.agda
8 ./Base/Parser/peek-one.agda
8 ./Base/Parser/pure-.agda
8 ./Base/Parser/skip-spaces-.agda
8 ./Base/Parser/skip-trivia-.agda
8 ./Base/Parser/starts-with-.agda
8 ./Base/String/join-.agda
8 ./Bend/Compile/book-to-hvm.agda
8 ./Bend/Fun/Num/show.agda
8 ./Bend/Fun/Term/children.agda
8 ./Bend/Net/get-node.agda
8 ./Bend/Net/get-port.agda
8 ./Bend/Net/new-node.agda
8 ./Bend/Net/new.agda
8 ./Bend/Net/set-port.agda
8 ./Bend/Parser/parse-oper.agda
8 ./Bend/Parser/try-consume.agda
8 ./HVM/Rule/comm.agda
8 ./HVM/Run/enter.agda
8 ./HVM/Run/materialize.agda
8 ./HVM/Run/normalize.agda
8 ./Imp/Eval/Env/set.agda
8 ./Imp/Eval/State/Grid/run.agda
8 ./UG/SM/ActionLogs/ActionLogs.agda
8 ./UG/SM/StateLogs/rollback.agda
8 ./UG/SM/new-mach.agda
9 ./ARC/DSL/Functions/contained.agda
9 ./ARC/DSL/Functions/height.agda
9 ./ARC/DSL/Functions/order.agda
9 ./ARC/DSL/Functions/valmax.agda
9 ./ARC/DSL/Functions/valmin.agda
9 ./Base/AVLTree/Delete/delete-maximum.agda
9 ./Base/AVLTree/filter.agda
9 ./Base/AVLTree/is-balanced.agda
9 ./Base/BitMap/Test/del.agda
9 ./Base/BitMap/Test/swap.agda
9 ./Base/Bits/encode-utf8.agda
9 ./Base/Bits/pad-length-.agda
9 ./Base/Buffer/new.agda
9 ./Base/ByteString/read-char.agda
9 ./Base/F64/add-.agda
9 ./Base/OrdSet/filter.agda
9 ./Base/Pair/eq-.agda
9 ./Base/Parser/Examples/LambdaTerm/Test/y-combinator.agda
9 ./Base/Parser/advance-many-.agda
9 ./Base/Parser/advance-one-.agda
9 ./Base/Parser/consume-.agda
9 ./Base/Parser/parse-many.agda
9 ./Base/Parser/peek-many-.agda
9 ./Base/Parser/peek-one-.agda
9 ./Base/Parser/take-while-.agda
9 ./Bend/Parser/parse-keyword.agda
9 ./Bend/Parser/try-parse-keyword.agda
9 ./Bend/Transform/FloatCombinators/Ctx.agda
9 ./HVM/Parser/parse-redex.agda
9 ./HVM/Run/State/State.agda
9 ./HVM/Run/State/boot.agda
9 ./HVM/Run/fresh.agda
9 ./HVM/Run/redex-pop.agda
9 ./HVM/Run/redex-push.agda
9 ./Imp/Stmt/show-.agda
9 ./UG/SIPD/Player/init.agda
9 ./UG/SIPD/State/init.agda
9 ./UG/SM/ActionLogs/add-action.agda
9 ./UG/SM/StateLogs/find-rollback-amount.agda
9 ./UG/SM/get-initial-state.agda
10 ./Base/AVLTree/has-key-.agda
10 ./Base/AVLTree/rotate-left-.agda
10 ./Base/AVLTree/rotate-right-.agda
10 ./Base/BitMap/Test/merge.agda
10 ./Base/BitMap/Test/show.agda
10 ./Base/BitMap/Test/to-list.agda
10 ./Base/JSON/ALL.agda
10 ./Base/JSON/Test/parse-null.agda
10 ./Base/JSON/Test/parse-string.agda
10 ./Base/List/Test/split-last.agda
10 ./Base/List/sort-.agda
10 ./Base/Parser/bind-.agda
10 ./Base/Parser/parse-char-.agda
10 ./Base/String/to-nat-base.agda
10 ./Base/U64/div.agda
10 ./Bend/Fun/Term/Term.agda
10 ./Bend/Net/Node/show.agda
10 ./Bend/Parser/parse-number-.agda
10 ./HVM/Net/show.agda
10 ./HVM/Rule/link.agda
10 ./T0-.agda
11 ./ARC/DSL/Functions/argmax.agda
11 ./Base/AVLTree/insert.agda
11 ./Base/BinTree/ALL.agda
11 ./Base/Bool/ALL.agda
11 ./Base/Buffer/set.agda
11 ./Base/ByteString/pack-string-fixed.agda
11 ./Base/Char/to-digit.agda
11 ./Base/JSON/Test/parse-bool.agda
11 ./Base/JSON/parse-object.agda
11 ./Base/List/frequency.agda
11 ./Base/Parser/parse-string.agda
11 ./Bend/Compile/BendToNet/Encoder/link-var.agda
11 ./Bend/Fun/FnDef/new-gen.agda
11 ./Bend/Fun/Term/unscoped-vars.agda
11 ./Bend/Fun/Type/show.agda
11 ./HVM/Parser/parse-net-.agda
11 ./HVM/Parser/parse-term-.agda
11 ./HVM/Run/subst-take.agda
11 ./Imp/Backend/Cuda/grid-to-cuda.agda
11 ./Imp/Eval/State/Grid/step.agda
11 ./Imp/Main-Cuda.agda
12 ./ARC/DSL/Functions/remove.agda
12 ./Base/AVLTree/intersect.agda
12 ./Base/BitMap/Test/take.agda
12 ./Base/Network/ALL.agda
12 ./Base/Parser/Examples/LambdaTerm/parse.agda
12 ./Base/Parser/parse-quoted-char-.agda
12 ./Bend/Fun/Pattern/show.agda
12 ./Bend/Fun/Term/free-vars-.agda
12 ./Bend/Fun/Term/unscoped-vars-.agda
12 ./Bend/Parser/sep-by.agda
12 ./Bend/Run/to-bend-core.agda
12 ./Bend/nat-to-name.agda
12 ./HVM/Parser/parse-net.agda
12 ./HVM/Run/evaluate.agda
12 ./HVM/Run/subst-swap.agda
13 ./ARC/DSL/Functions/leastcommon.agda
13 ./ARC/DSL/Functions/mostcommon.agda
13 ./Base/JSON/Test/parse-object.agda
13 ./Base/Parser/advance-one.agda
13 ./Bend/Fun/FnDef/show.agda
13 ./HVM/Run/link.agda
13 ./Imp/Eval/State/Block/step.agda
13 ./UG/SIPD/State/draw.agda
13 ./UG/SIPD/draw.agda
14 ./ARC/DSL/Functions/leastcolor.agda
14 ./ARC/DSL/Functions/mostcolor.agda
14 ./Base/AVLTree/Delete/delete-go.agda
14 ./Base/BitMap/Test/from-list.agda
14 ./Base/Bits/encode-char-utf8.agda
14 ./Base/ByteString/read-u48.agda
14 ./Base/JSON/Test/parse-array.agda
14 ./Base/JSON/show.agda
14 ./Base/Pair/ALL.agda
14 ./Base/Parser/advance-many.agda
14 ./Bend/Fun/MatchRule/show.agda
14 ./Bend/Fun/Term/children-with-binds.agda
14 ./Bend/Net/show-.agda
14 ./Bend/Net/show.agda
14 ./Bend/Parser/Fun/parse-book-.agda
14 ./Bend/Parser/Fun/parse-pattern-.agda
14 ./Bend/Parser/starts-with-keyword-.agda
14 ./HVM/Parser/parse-term.agda
14 ./HVM/Run/State/show.agda
14 ./UG/Chat/Client/exit-room.agda
14 ./UG/Chat/Client/join-room.agda
14 ./UG/Chat/Client/send.agda
14 ./UG/Chat/Client/sync-time.agda
15 ./Base/AVLTree/insert-.agda
15 ./Base/IO/ALL.agda
15 ./Base/JSON/Test/parse-number.agda
15 ./Base/JSON/parse.agda
15 ./Base/Maybe/ALL.agda
15 ./Base/Parser/peek-many.agda
15 ./Base/Parser/take-while.agda
15 ./Bend/Compile/BendToNet/Encoder/encode-pat.agda
15 ./Bend/Compile/NetToHvm/net-to-hvm.agda
15 ./Bend/Fun/Term/map-child-binds.agda
15 ./Bend/Fun/Term/map-children-with-binds.agda
15 ./Bend/Parser/Fun/parse-def-sig-.agda
15 ./UG/SIPD/Event/Main.agda
16 ./Base/OrdMap/ALL.agda
16 ./Base/Parser/parse-name.agda
16 ./Base/Parser/skip-spaces.agda
16 ./Base/String/hash.agda
16 ./Bend/Load/load-book.agda
16 ./Bend/Parser/list-like.agda
16 ./Bend/Transform/unbound-refs.agda
16 ./HVM/Run/interact.agda
16 ./UG/Chat/Client/handle-pong.agda
17 ./Base/OrdSet/ALL.agda
17 ./Bend/Compile/NetToHvm/get-redexes.agda
17 ./Bend/Fun/Book/show.agda
17 ./Bend/Parser/Fun/parse-term-.agda
17 ./Bend/Parser/skip-trivia-.agda
17 ./UG/SIPD/Event/deserialize.agda
18 ./Base/AVLTree/fold-.agda
18 ./Base/AVLTree/intersect-.agda
18 ./Base/AVLTree/union-.agda
18 ./Base/ByteString/write-u48.agda
18 ./Base/Int/ALL.agda
18 ./Bend/Fun/Term/free-vars.agda
18 ./Bend/Parser/Fun/parse-def-sig.agda
18 ./Bend/Parser/Fun/parse-rule-lhs.agda
19 ./Base/AVLTree/delete-.agda
19 ./Base/Parser/consume.agda
19 ./Bend/Compile/Test/book-to-hvm.agda
19 ./HVM/Main.agda
19 ./UG/Chat/Client/handle-message.agda
20 ./Base/AVLTree/difference-.agda
20 ./Base/BitMap/ALL.agda
20 ./Base/Parser/parse-char.agda
20 ./Bend/Parser/list-like-.agda
20 ./Bend/Parser/parse-restricted-name.agda
20 ./Bend/Parser/sep-by-.agda
20 ./UG/SIPD/Event/serialize.agda
20 ./UG/SIPD/Player/draw.agda
21 ./Base/ByteString/ALL.agda
21 ./Base/JSON/parse-number.agda
21 ./Base/Parser/skip-trivia.agda
21 ./Base/V2/ALL.agda
21 ./Bend/Compile/BendToNet/Encoder/encode-term.agda
21 ./Bend/Fun/Term/show.agda
21 ./Bend/Transform/FloatCombinators/is-safe.agda
22 ./Bend/Compile/BendToNet/book-to-nets.agda
22 ./Bend/Fun/Term/show-.agda
22 ./Bend/Parser/skip-trivia.agda
23 ./Base/AVLTree/Delete/delete-maximum-.agda
23 ./Bend/Compile/NetToHvm/tree-to-hvm.agda
23 ./Bend/Fun/Book/Test/show.agda
23 ./Bend/Parser/Fun/parse-pattern.agda
23 ./Bend/Parser/Fun/parse-type-term.agda
23 ./Bend/Parser/starts-with-keyword.agda
23 ./Imp/Eval/State/Thread/step.agda
24 ./Base/F64/from-string.agda
24 ./Bend/Parser/Fun/parse-fn-def-.agda
24 ./Bend/Transform/resolve-refs.agda
24 ./Bend/bend.agda
25 ./Base/JSON/parse-string.agda
25 ./Base/Parser/ALL.agda
26 ./Bend/Parser/Fun/parse-adt.agda
26 ./Bend/Transform/linearize-vars-.agda
26 ./UG/SM/register-action.agda
27 ./Base/Char/ALL.agda
27 ./Bend/Fun/dsl.agda
27 ./Bend/Transform/unique-names-.agda
28 ./Bend/Transform/unique-names.agda
30 ./Base/String/ALL.agda
30 ./Base/U64/ALL.agda
30 ./Bend/Parser/Fun/parse-fn-def.agda
30 ./UG/SM/compute.agda
31 ./Base/Nat/ALL.agda
31 ./Imp/Eval/eval-expr.agda
32 ./Bend/Transform/resolve-refs-.agda
33 ./Base/AVLTree/ALL.agda
33 ./Bend/Parser/Fun/parse-book.agda
34 ./Base/ALL.agda
35 ./Bend/Transform/linearize-vars.agda
42 ./Bend/Parser/Fun/parse-term.agda
42 ./Bend/Transform/encode-adts.agda
42 ./Bend/Transform/unbound-vars.agda
45 ./Base/F64/ALL.agda
45 ./Bend/Transform/FloatCombinators/float-combinators.agda
47 ./Base/Bits/ALL.agda
49 ./Bend/Parser/parse-number.agda
84 ./Base/List/ALL.agda
88 ./UG/SIPD/Main.agda