Skip to content

Instantly share code, notes, and snippets.

@Abhiroop
Last active October 30, 2017 11:55
Show Gist options
  • Save Abhiroop/491f7fa8bc8c86b351e18eb90d518abb to your computer and use it in GitHub Desktop.
Save Abhiroop/491f7fa8bc8c86b351e18eb90d518abb to your computer and use it in GitHub Desktop.
fuse (T B t1 x t2) (T B t3 y t4) =
let s = fuse t2 t3
in case s of
(T R s1 z s2) -> (T R (T B t1 x s1) z (T B s2 y t4)) -- consfusing case
(T B s1 z s2) -> balL (T B t1 x (T B s y t4))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment