Skip to content

Instantly share code, notes, and snippets.

@okram
Created November 12, 2019 11:27
Show Gist options
  • Save okram/4470cd1339cd2aacb603b07df6fc35f3 to your computer and use it in GitHub Desktop.
Save okram/4470cd1339cd2aacb603b07df6fc35f3 to your computer and use it in GitHub Desktop.
EXPLAIN: int <= [start,3,5,6][plus,2][map,[plus,4][plus,[mult,1]][count]][count][sum][count]
[start,3,5,6]: int -> int{3}
[plus,2]: int{3} -> int{3}
[map,[plus,4][plus,[mult,1]][count]]: int{3} -> 1{3}
[plus,4]: int -> int
[plus,[mult,1]]: int -> int
[mult,1]: int -> int
[count]: int -> 1
[count]: 1{3} -> 3
[sum]: 3 -> 3
[count]: 3 -> 1
EXPLAIN: int <= [start,1][plus,2][map,[plus,4][plus,[mult,1]][count]][count][sum][count]
[start,1]: int -> 1
[plus,2]: 1 -> 3
[map,[plus,4][plus,[mult,1]][count]]: 3 -> 1
[plus,4]: 3 -> 7
[plus,[mult,1]]: 7 -> 7
[mult,1]: 7 -> 7
[count]: 7 -> 1
[count]: 1 -> 1
[sum]: 1 -> 1
[count]: 1 -> 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment