Skip to content

Instantly share code, notes, and snippets.

@SAdams601

SAdams601/explodes2Trees.txt

Last active March 14, 2017 19:35
Show Gist options
  • Save SAdams601/30507a4ae6aed7b15ff1ef5557c8a86f to your computer and use it in GitHub Desktop.
Save SAdams601/30507a4ae6aed7b15ff1ef5557c8a86f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
explodes2Trees.txt
BIND: Var: ex0
|
App
|
----------------------------------------
/ \
Var: D.fromList App
|
-------------------------------
/ \
Var: concat App
|
-------------------------
/ \
App Var: lst
|
--------------------
/ \
Var: map Lam
|
App
|
---------------
/ \
App Var: x
|
-----------
/ \
Var: replicate Var: n
================================================================================================================
BIND: Var: ex1
|
App
|
------------------------------------------------
/ \
Var: D.fromList App
|
----------------------------------------
/ \
Var: concat App
|
---------------------------------
/ \
App Var: lst
|
-----------------------------
/ \
Var: map Lam
|
App
|
-----------------------
/ \
Var: D.toList App
|
----------------
/ \
App Var: x
|
------------
/ \
Var: D.replicate Var: n
================================================================================================================
BIND: Var: ex2
|
App
|
-------------------------------------------------
/ \
Var: D.fromList App
|
-----------------------------------------
/ \
Var: concat App
|
-----------------------------------
/ \
App App
| |
--------------------- ------------
/ \ / \
Var: D.map Lam Var: D.fromList Var: lst
|
App
|
---------------
/ \
App Var: x
|
-----------
/ \
Var: replicate Var: n
================================================================================================================
BIND: Var: ex3
|
App
|
----------------------------------------------------------
/ \
Var: D.fromList App
|
-------------------------------------------------
/ \
Var: concat App
|
-------------------------------------------
/ \
App App
| |
------------------------------ ------------
/ \ / \
Var: D.map Lam Var: D.fromList Var: lst
|
App
|
-----------------------
/ \
Var: D.toList App
|
----------------
/ \
App Var: x
|
------------
/ \
Var: D.replicate Var: n
================================================================================================================
BIND: Var: ex4
|
App
|
-----------------------------------------
/ \
Var: D.concat App
|
---------------------------------
/ \
App Var: lst
|
-----------------------------
/ \
Var: map Lam
|
App
|
-----------------------
/ \
Var: D.fromList App
|
---------------
/ \
App Var: x
|
-----------
/ \
Var: replicate Var: n
================================================================================================================
BIND: Var: ex5
|
App
|
---------------------------------
/ \
Var: D.concat App
|
--------------------------
/ \
App Var: lst
|
---------------------
/ \
Var: map Lam
|
App
|
----------------
/ \
App Var: x
|
------------
/ \
Var: D.replicate Var: n
================================================================================================================
BIND: Var: ex6
|
App
|
----------------------------------------------------------
/ \
Var: D.concat App
|
--------------------------------------------------
/ \
Var: D.toList App
|
-------------------------------------------
/ \
App App
| |
------------------------------ ------------
/ \ / \
Var: D.map Lam Var: D.fromList Var: lst
|
App
|
-----------------------
/ \
Var: D.fromList App
|
---------------
/ \
App Var: x
|
-----------
/ \
Var: replicate Var: n
================================================================================================================
BIND: Var: ex7
|
App
|
--------------------------------------------------
/ \
Var: D.concat App
|
-------------------------------------------
/ \
Var: D.toList App
|
------------------------------------
/ \
App App
| |
---------------------- ------------
/ \ / \
Var: D.map Lam Var: D.fromList Var: lst
|
App
|
----------------
/ \
App Var: x
|
------------
/ \
Var: D.replicate Var: n
================================================================================================================
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment