LLL specification This is an attempt at specifying the grammar and semantics of LLL. The work in progress grammar is here and the default macros are here. There are a few LLL implementations, which more or less agree: Solidity's LLL Serpent's LLL Viper's LLL