UNPKG

folproof

Version:

A first-order logic proof verifier

10 lines (8 loc) 270 B
var util = {}; util.debug = function debug() { if (typeof debugMode !== "undefined" && debugMode) console.log.apply(console, Array.prototype.slice.call(arguments)); }; if (typeof require !== 'undefined' && typeof exports !== 'undefined') { module.exports = util; }