Obj <- _ -> Obj <- _ -> Nat <- _ -> Nat Nat <- _ -> Nat <- _ -> Lit <- _ -> Lit
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ _ _ _ _
| | | | | | | |
v v v v v v v v
Obj <- _ -> Obj <- _ -> Nat <- _ -> Nat Nat <- _ -> Nat <- _ -> Lit <- _ -> Lit
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ <- _ -> _ _ _ _
| | | | | | | |
v v v v v v v v
Dur <- _ -> Dur <- _ -> Lit <- _ -> Lit Obj <- _ -> Obj <- _ -> Dur <- _ -> Dur
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ _ _ _ _
| | | | | | | |
v v v v v v v v
Dur <- _ -> Dur <- _ -> Lit <- _ -> Lit Obj <- _ -> Obj <- _ -> Dur <- _ -> Dur
^ ^
| |
_ _
| |
v v
Dur <- _ -> Dur <- _ -> Lit <- _ -> Lit Lit <- _ -> Lit <- _ -> Dur <- _ -> Dur
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ _ _ _ _
| | | | | | | |
v v v v v v v v
Dur <- _ -> Dur <- _ -> Lit <- _ -> Lit Lit <- _ -> Lit <- _ -> Dur <- _ -> Dur
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ <- _ -> _ _ _ _
| | | | | | | |
v v v v v v v v
Obj <- _ -> Obj <- _ -> Nat <- _ -> Nat Nat <- _ -> Nat <- _ -> Obj <- _ -> Obj
^ ^ ^ ^ ^ ^ ^ ^
| | | | | | | |
_ _ _ _ _ _ _ _
| | | | | | | |
v v v v v v v v
Obj <- _ -> Obj <- _ -> Nat <- _ -> Nat Nat <- _ -> Nat <- _ -> Obj <- _ -> Obj
Created
October 4, 2017 20:45
-
-
Save michaeljklein/36f6e8b4403bc9fb1943b7f643d64009 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment