Skip to content

Instantly share code, notes, and snippets.

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