Skip to content

Instantly share code, notes, and snippets.

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