lamarqua

/* ===========================================================================
 *
 *                                  LIBRARY
 *
 * =========================================================================== */
/*  Proof of Concept GUI:
 *  - PoC UI implementation in ~2kLOC of C89 (ANSI C)
 *      => Core solutions has no external dependencies (removing standard library dependency is trival)
 *      => Does not use or require any special language constructs or macro constructs just pointers and enums
 *  - Combines both "retained" and "immediate mode" UI by providing control over update frequency

lamarqua

module Logic

-- Connective is a fancy word for operator.
namespace Connectives

  -- Truth: Also known as the "unit" type, (there is only one truth in value,
  -- literally).
  -- Scala:   type Truth = Unit
  -- Haskell: type Truth = ()
  Truth : Type

lamarqua

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console