on e579cee help sign in
Idris-dev/examples/bmain.idr
8 lines 113 B history raw
1module Main
3import btree
5main : IO ()
6main = do let t = toTree [1,8,2,7,9,3]
7 print (btree.toList t)