Closed barrucadu closed 9 years ago
This is kinda cheating as I already have it mostly-written anyway, but... there should be something like lambdabot's evaluation!
All that remains to be done here is a :t
:t
This is kinda cheating as I already have it mostly-written anyway, but... there should be something like lambdabot's evaluation!