Riju :: Binary Lambda Calculus Run Prettify Autocomplete OFF