https://bit-wit.com/ weekly 1.0 https://bit-wit.com/about monthly 0.8 https://bit-wit.com/pricing monthly 0.8 https://bit-wit.com/faq monthly 0.7 https://bit-wit.com/philosophy monthly 0.6 https://bit-wit.com/curriculum weekly 0.7 https://bit-wit.com/bibliography monthly 0.5 https://bit-wit.com/lfaq monthly 0.6 https://bit-wit.com/support monthly 0.6 https://bit-wit.com/creator monthly 0.5 https://bit-wit.com/privacy yearly 0.3 https://bit-wit.com/terms yearly 0.3 https://bit-wit.com/kb/lambda-calculus/lambda-expressions/terms-and-grammar 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/lambda-expressions/abstraction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/lambda-expressions/application 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/lambda-expressions/reading-terms 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/variables-and-binding/free-and-bound 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/variables-and-binding/scope 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/variables-and-binding/shadowing 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/variables-and-binding/alpha-equivalence 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/substitution-and-beta-reduction/substitution-defined 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/substitution-and-beta-reduction/beta-reduction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/substitution-and-beta-reduction/multi-step-reduction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/substitution-and-beta-reduction/capture-avoidance 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/multiple-arguments/currying 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/multiple-arguments/partial-application 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/multiple-arguments/argument-order 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/reduction-theory/normal-forms 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/reduction-theory/reduction-strategies 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/reduction-theory/divergence 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/reduction-theory/eta-reduction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/reduction-theory/bridge-to-encodings 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-booleans/true-false 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-booleans/conditionals 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-booleans/boolean-operations 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-numerals/numerals 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-numerals/successor 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-numerals/is-zero 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/church-numerals/predecessor 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/arithmetic/addition 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/arithmetic/multiplication 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/arithmetic/exponentiation 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/arithmetic/subtraction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/data-structures/pairs 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/data-structures/lists 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/recursion-and-fixed-points/self-reference-problem 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/recursion-and-fixed-points/self-application 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/recursion-and-fixed-points/fixed-points 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/recursion-and-fixed-points/y-combinator 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/recursion-and-fixed-points/recursive-functions 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/combinators/named-combinators 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/combinators/combinatory-completeness 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/combinators/combinators-vs-lambda 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/metatheory/confluence 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/metatheory/normalization 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/metatheory/church-turing 2026-03-04 monthly 0.6 https://bit-wit.com/kb/lambda-calculus/metatheory/types-overview 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/core-operations/truth-and-not 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/core-operations/and 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/core-operations/or 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/core-operations/combining-not 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/building-blocks/compound-expressions 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/building-blocks/logic-gates 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/building-blocks/xor-equivalence 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/de-morgan 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/identity-annihilation 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/idempotence 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/commutativity-associativity 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/distributivity 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/boolean-algebra/absorption 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/normal-forms/minterms-maxterms 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/normal-forms/dnf 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/normal-forms/cnf 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/normal-forms/form-conversion 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/simplification/algebraic-simplification 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/simplification/karnaugh-maps 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/simplification/dont-care 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/applications/truth-table-construction 2026-03-04 monthly 0.6 https://bit-wit.com/kb/boolean-logic/applications/circuit-equivalence 2026-03-04 monthly 0.6