Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save michaeljklein/36f6e8b4403bc9fb1943b7f643d64009 to your computer and use it in GitHub Desktop.
Save michaeljklein/36f6e8b4403bc9fb1943b7f643d64009 to your computer and use it in GitHub Desktop.

 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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment