Mercurial > hg > Papers > 2018 > ryokka-thesis
view final_main/src/AgdaTreeDebug.agda @ 3:2155c6ff589f
fix Section, Capter, and Mindmap. add some Code
author | ryokka |
---|---|
date | Fri, 16 Feb 2018 16:58:40 +0900 |
parents | |
children | 12204a2c2eda |
line wrap: on
line source
test31 = putTree1 {_} {_} {ℕ} {ℕ} (createEmptyRedBlackTreeℕ ℕ ) 1 1 $ \t -> putTree1 t 2 2 $ \t -> putTree1 t 3 3 $ \t -> putTree1 t 4 4 $ \t -> getRedBlackTree t 4 $ \t x -> x