Point-Free Logic Programming (via veqq) — discussion

#logiclangs