Ollibot An implementation of substructural logic programming 🔗 ollibot.hyperkind.org (Writeup TODO)