Mercurial > hg > Gears > GearsAgda

changeset 757:edfeedb45595

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 01 May 2023 09:08:01 +0900
parents 08f752ecf32e
children 2488a3402c19
files redBlackTreeHoare.agda
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/redBlackTreeHoare.agda	Mon May 01 09:05:24 2023 +0900
+++ b/redBlackTreeHoare.agda	Mon May 01 09:08:01 2023 +0900
@@ -1,4 +1,4 @@
-module RedBlackTreeHoare where
+module redBlackTreeHoare where
 
 
 open import Level hiding (zero)