Götz Kluge's docs with the keyword: Lua

TruthProof

TruthProof.lua www.ipernity.com/doc/goetzkluge/24798861 is the Haskell version