computational-semantics Computational semantics of natural language with Idris Forked from: https://staff.fnwi.uva.nl/d.j.n.vaneijck2/cs/