purs-pkg-deps/output/Data.HeytingAlgebra/foreign.js

Query package dependencies in PureScript package-sets

"use strict";

exports.boolConj = function (b1) {
  return function (b2) {
    return b1 && b2;
  };
};

exports.boolDisj = function (b1) {
  return function (b2) {
    return b1 || b2;
  };
};

exports.boolNot = function (b) {
  return !b;
};