Mercurial > hg > Papers > 2018 > ryokka-thesis

comparison final_main/src/AgdaTreeTest.agda @ 3:2155c6ff589f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Section, Capter, and Mindmap. add some Code
author ryokka
date Fri, 16 Feb 2018 16:58:40 +0900
parents
children
comparison
equal deleted inserted replaced
2:93d26c4576d3 3:2155c6ff589f
1 test31 = putTree1 {_} {_} {ℕ} {ℕ} (createEmptyRedBlackTreeℕ ℕ ) 1 1
2 $ \t -> putTree1 t 2 2
3 $ \t -> putTree1 t 3 3
4 $ \t -> putTree1 t 4 4
5 $ \t -> getRedBlackTree t 4
6 $ \t x -> x