GitHub repository: kredati/ludus-prelude
Primary language: JavaScript
Description: The bare infrastructure for ludus: cond, defn & predicates