Because of the way the line wrapped on my phone I initially read that as "Annotated implementation of microKaren". At that point my brain just went nuts and fi

Because of the way the line wrapped on my phone I initially read that as "Annotated implementation of microKaren". At that point my brain just went nuts and filled in the rest with "an embeddable non-logic language". :)