This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import "./RLP.sol"; | |
import "./RLPW.sol"; | |
library Lambda { | |
using RLP for bytes; | |
using RLP for RLP.RLPItem; | |
using RLP for RLP.Iterator; | |
/* Takes an annotated ast as input, and returns a fully reduced ast | |
Each node in the ast one of the three following formats: | |
[1, function, argument] - Application |