Quick actions

cmd+k|ctrl+k

Navigation

Languages

Idris multifile

Snippet info

Language

Idris

Visibility

public

Author

petter

Created

2015-08-07T23:01:27Z

Updated

2015-08-07T23:01:27Z

module Main

import Btree

main : IO ()
main = do let t = toTree [1,8,2,7,9,3]
          print (Btree.toList t)
INFO