http://localhost/4042026-04-11T15:46:44.433Zdaily1.0http://localhost/google50a5c49ae84604682026-04-11T15:46:44.433Zdaily1.0http://localhost/2026-04-11T15:46:44.433Zdaily1.0http://localhost/2026-04-11T15:46:44.433Zdaily1.0http://localhost/thoughts2026-04-11T15:46:44.433Zdaily1.0http://localhost/archived2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys2026-04-11T15:46:44.433Zdaily1.0http://localhost/reads2026-04-11T15:46:44.433Zdaily1.0http://localhost/graph2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/phases2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/books2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/blogs2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/papers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/blogs2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/papers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/accessibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/accidental-signifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/adaptability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/affordance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/agent2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/anti-affordance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/atomic-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/branding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/component-library2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/component2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/conceptual-model2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/consistency2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/constraint2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/cross-platform2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/design-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/design-token2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/discoverability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/discoverable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/documentation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/experience-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/experience2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/external-signifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/feedback2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/figma2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/framework2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/governance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/grid-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/grouping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/handoff2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/human-centered-design-hcd2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/industrial-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/intentional-signifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/interaction-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/intuition-over-instruction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/mapping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/mental-model2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/modularity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/natural-mapping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/norman-door2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/onboarding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/perceived-affordance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/prototyping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/proximity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/psychology2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/psychopathology2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/responsive-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/scalability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/signifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/spatial-correspondence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/style-dictionary2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/system-image2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/technical-debt2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/understanding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/untitled2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/usability-testing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/user-experience-ux2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/user-interface-ui2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/version-control2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/concepts/visual-hierarchy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/2-dimensional-inference-rule-format2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstract-binding-graph2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstract-binding-tree-abt2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstract-data-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstract-machine2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstract-syntax-tree-ast2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/abstractor2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/actual-parameter-argument2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/admissibility-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/admissibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/admissible2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/algebraic-data-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/aliasing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/alpha-conversion-renaming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/alpha-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/alpha-variant2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/antecedent2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/antisymmetric2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/antisymmetry2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/api-boundary2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/application-function-call2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/architecture-invariant2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/arity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/arrow-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/assertion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/associativity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/assume-guarantee-reasoning2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/ast-rewriting2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/autoboxing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/automated-theorem-prover2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/automatic-memory-management2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/axiom2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/axiomatic-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/backward-chaining-search2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/backward-chaining2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/basic-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/behavioral-observational-contextual-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/beta-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/beta-redex-reducible-expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/beta-reduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/big-step-natural-operational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/binary-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/binder2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/binding-structure-of-syntax2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/binding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/blame-tracking2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/block2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/bnf2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/boolean-blindness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/borrow-checker2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/bottom-up-construction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/bound-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/branch-coverage2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/brouwer-heyting-kolmogorov-bhk-interpretation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/calculus-of-inductive-construction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/call-by-name2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/call-by-need2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/call-by-value2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/capture-avoiding-substitution2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/cascading-sequential-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/chomsky-hierarchy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/church-boolean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/church-numeral2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/circular-dependency2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/class-extension2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/class-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/class2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/closed-recursion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/closed-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/closed-under2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/closure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/code-semantic-model2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/codomain2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/command-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/command2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/compilation-unit2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/compiler2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/complete2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/completeness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/computability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/computation-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/computation-theory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/conclusion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/concolic-testing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/concrete-generator-style2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/concrete-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/concrete-surface-syntax2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/concurrent-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/conditional-expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/congruence-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/congruence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/consequent2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/conservative2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/constant2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/construct-special-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/constructor-expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/constructor-tag2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/constructor2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/context-free2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/context-sensitive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/context2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/contract2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/coq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/core-calculus-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/countable-set2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/curry-howard-correspondence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/curry-y-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/currying2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/cursor2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/decidability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/decidable-proposition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/decision-procedure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/decreasing-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/denotational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dependent-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derivability-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derivability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derivable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derivation-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derivation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derived-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/derived-query2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desired-property-determinacy-of-one-step-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desired-property-normal-form-implies-values2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desired-property-termination-of-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desired-property-uniqueness-of-normal-forms2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desired-property-value-is-in-normal-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desugar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/desugarer2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dimensional-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/directed-acyclic-graph-dag2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/divergent-big-omega-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/divergent-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/domain-theory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/domain2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/double-negation-elimination2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/duck-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dynamic-dispatch2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dynamic-scope2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dynamic-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/dynamically-sized-type-dst2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/elimination-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/empty-set2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/entailment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/enumerated-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/environment-extension2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/environment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/error-recovery2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/eta-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/eta-expansion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/eta-reduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/evaluation-reduction-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/evaluation-statement-judgement2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/evaluation-strategy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/evaluator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/event-based-parsing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/event2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/evidence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/expansion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/expression-problem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/expressiveness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/extensible-open-recursion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/falsy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/field2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/finite-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/first-class2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/first-order-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/fixed-point-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/fixity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/flow-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/flow-sensitive-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/flow-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/formal-derivability-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/formal-generic-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/formal-parameter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/formal-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/forward-chaining-search2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/forward-chaining2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/free-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/fresh-renaming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/fresh-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/full-beta-reduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/function-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/function-header2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/functional-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/gallina2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/garbage-collection2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/general-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-derivability-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-derivability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-derivation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-general-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/generic-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/genericity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/global-hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/global-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/goal-directed2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/goal2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/gradual-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/halt2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/heap-address2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/heap2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/higher-order-contract2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/higher-order-function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hindley-milner-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hoare-logic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hoare-type-theory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/host-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hygienic-macro2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hypothetical-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hypothetical-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hypothetical-rule-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/hypothetical-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/identity-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/if-splitting2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/immediately-invoked-function-expression-iife2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/implicit-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/import2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inadmissible2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/incomplete-syntax-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/incremental-computation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/indexed-operator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/induction-on-derivations2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inductive-conclusion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inductive-hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inductive-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inference-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/infinite-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/infix2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/inheritance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/input-query2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/instance-of-a-rule-scheme2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/instance-of-an-inference-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/instance-of-the-judgment-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/interner2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/interning-table2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/interpretation-function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/interpretation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/interpreter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/intro-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/introduction-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/intuitionistic-constructive-logic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/involution2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/involutive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/iterated-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/join2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/judgment-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/just-in-time-jit-compilation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/kotlin2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/labeled-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lambda-abstraction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lambda-expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lambda-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/language-safety2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/law-of-excluded-middle-lem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lazy-evaluation-strategy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/left-left-lambda2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lexical-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lexical-static-scope2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lexicographic-order2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/lifetime2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/light-parsing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/link2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/liskov-substitution-principle-lsp2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/literal2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/local-binding-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/local-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/local-hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/local-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/logic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/logical-derivation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/logical-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/macro-definition-hazard-duplication2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/macro-expansion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/macro-gradual-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/macro-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/macro2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mangling2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/map-reduce2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/match-arm2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mathematical-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/meet2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/message-passing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/meta-mathematics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/metalanguage2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/metatheory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/metavariable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/method2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/micro-gradual-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mixfix2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mixin2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/model-checker2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/modularization2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/module-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/module2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/multi-step-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/multiple-inheritance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mutable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/mutation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/n-place-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/name-combination-algebra2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/natural-deduction-style2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/newtype-idiom2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/node2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/nominal-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/nominal-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/nonsensical-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/normal-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/normal-order2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/object-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/object-member2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/object-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/object2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/occurrence-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/on-demand-computation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/one-step-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/operational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/operator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/ordered-variadic-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pair-encoding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/parallel-simultaneous-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/parametric-general-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/parenthetical-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/parsing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/partial-function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/partial-order2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/partiality2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pattern-matching2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/polymorphic-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/powerset2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pratt-parsing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/precedence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/predicate-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/predicate2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/premise2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/preorder2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/primordial-block2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/principle-of-complete-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/principle-of-lexicographic-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/principle-of-ordinary-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/private-member2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/procedural-functional-abstraction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/procedure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/program2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/programming-model2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/programming-paradigm2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proliferation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-assistant-prover2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-by-case-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-by-rewriting2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-by-simplification2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-checker2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof-technique2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proof2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proper-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/proposition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/prototype2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pure-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pure-untyped-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/pure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/query-based-compiler2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/query-database2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/range2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/read-eval-print-loop-repl2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/recursive-descent-parser2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/recursive-descent2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/recursive-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/recursive-macro2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/recursive-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/refined-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/reflexive-closure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/reflexive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/reflexivity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/renaming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/representation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/require2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/retrofitted-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rice-s-theorem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rocq-kernel2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/roslyn2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rule-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rule-schema2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rule-scheme2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/runtime-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/runtime-monitoring2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/runtime-type-dispatch2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/runtime-type-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/runtime-type-information-rtti2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rust-crate2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rust-module2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/rust2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/s-expression-symbolic-expression2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/safe-sound-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/safety-check2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sat-solver2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/scope2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/self-reference2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/self-replicator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/semantic-domain2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sentence-diagram2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sequence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sequential-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/set-comprehension2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/set-difference2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/shadowing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/side-effect2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/simply-typed-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/simultaneous-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/small-omega-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/small-step-structural-operational-semantics-sos2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/smt-solver2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sort2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sound2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/soundness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/stable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/state2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/statement2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-analysis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-discipline2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-dispatch2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-member2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/static-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/strength-reduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/strict-eager-evaluation-strategy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/string-interner2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/strong-normalization2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-abstract-syntax2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-induction-modulo-fresh-renaming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-property2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-recursion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structural2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/structurality2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/stuck-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/subclass2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/subgoal2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/substitutability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/substitution-subject2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/substitution-target2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/substitution2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/subtype2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/subtyping-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/subtyping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sum-of-products-sop2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/sum-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/supertype2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/surface-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/symbol2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/symbolic-parameter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/symmetric2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/symmetry2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/syntactic-abstraction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/syntactic-category2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/syntactic-sugar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/syntax-token2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/syntax-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tactic-modifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tactic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tagged-union2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/target-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/the-diamond-problem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/the-plait-programming-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/token2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/top-down-construction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/total-function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/trait2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/transition-function2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/transitive-closure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/transitive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/transitivity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/trapped-runtime-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tree-agnostic-parser2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tree-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/truthy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/tuple2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/turbofish2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-annotation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-ascription2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-checker2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-compatibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-constructor2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-environment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-inference2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-narrowing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-predicate2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-safety2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-theory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-variant2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/type-widening2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/typing-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/unfold2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/uniform2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/uniformity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/union-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/universality2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/untitled2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/untrapped-runtime-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/untyped-calculus-of-booleans-and-numbers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/unwrap2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/valence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/validity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/value-environment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/value2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/variable-capture2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/variable-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/variadic-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/vector2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/visibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/visible2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/weakening2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/well-founded2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/wildcard-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/witness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/z-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/concepts/zipper2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/according-to-don-norman-what-is-a-solution-to-the-paradox2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/according-to-don-norman-what-is-the-paradox-of-technology2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/according-to-hcd-should-we-specify-the-problem-early-on2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/are-anti-affordances-affordances-themselves2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/are-perceived-affordances-affordances-themselves2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/can-the-quality-of-being-natural-for-a-mapping-depend-on2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/can-there-be-different-conceptual-models-for-the-same2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/can-you-describe-the-door-dilemma-as-posed-by-don-norman2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/can-you-explain-the-causes-of-deficiency-of-human-machine2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/do-affordances-have-to-be-visible-in-order-to-exist2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/do-all-designed-things-involve-physical-structures2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/explain-the-3-areas-of-design-industrial-design-interaction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/explain-the-conflict-between-machines-and-human-nature2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/flashcard2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/for-designers-which-is-more-important-affordances-or2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/give-an-example-of-a-dilemma-where-affordance-and-anti2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/give-an-example-of-how-the-user-would-cope-with-a-complex2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/give-some-examples-where-affordances-are-relative2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-are-conceptual-models-usually-constructed2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-a-great-design-provide-pleasure-experiences2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-a-signifier-be-both-accidental-and-intentional2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-a-user-infer-conceptual-models2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-inappropriate-uninterpretable-feedback-be-bad2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-misleading-signifiers-be-utilized2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-the-conflict-of-disciplines-pose-challenges-to-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-the-perception-of-a-product-depend-on-where-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-can-too-much-feedback-can-be-worse-than-too-little2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-does-hcd-fit-with-industrial-experience-and-interaction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-should-we-go-about-designing-to-absolutely-prevent2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-to-make-affordances-and-anti-affordances-effective2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-to-properly-map-controls-to-function-using-principles2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/how-was-the-term-affordance-misused-by-ui-designers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-are-some-examples-of-intentional-and-accidental2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-are-some-requirements-of-discoverability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-are-the-effects-of-a-coherent-and-incoherent-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-are-the-possible-causes-for-the-failure-of-human2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-are-the-requirements-of-feedback2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-can-be-misleading-signifier-perceived-affordance-or2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-do-discoverability-and-understanding-mean-in-terms-of2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-a-system-image-include2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-an-external-signifier-indicate-of-a-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-hcd-prioritize2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-it-have-to-do-with-the-mental-model-that-makes2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-it-mean-by-intuition-over-instruction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-the-quality-of-a-design-being-easy-to-be2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-the-term-affordance-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-does-the-term-signifier-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-happens-when-a-conceptual-model-fails-to-explain-a2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-branding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-common-pattern-of-many-reactive-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-component-library2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-component2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-conceptual-model2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-design-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-design-token2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-grid-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-mental-model-how-is-it-different-from-conceptual2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-natural-mapping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-solution-to-the-conflict-of-disciplines2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-style-dictionary2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-typical-process-using-hcd2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-a-visual-hierarchy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-accessibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-an-example-of-an-anti-affordance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-an-example-of-an-object-design-that-violates2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-atomic-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-feedback2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-governance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-mapping-in-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-psychopathology-vs-psychology2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-responsive-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-system-image2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-cons-of-feedback-not-being-immediate2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-cons-of-feedback-not-being-informative2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-core-mechanism-of-hcd2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-expression-problem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-presence-of-an-affordance-determined-by2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-role-of-a-signifier2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-the-sixth-principle-that-affects-discoverability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-is-ui-ux2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-must-be-perceivable-signifier-or-affordance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-should-a-good-design-do-during-errors2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/what-would-a-door-be-called-if-it-requires-a-sign-informing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/when-does-a-conceptual-model-become-no-longer-useful2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/which-aspects-should-a-design-of-everyday-things-consider2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/which-psychological-concepts-are-involved-in-discoverability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/why-does-mapping-matter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/why-doesn-t-a-conceptual-model-have-to-be-correct-or-precise2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/why-is-affordance-not-a-fixed-property2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/why-is-poor-feedback-worse-than-no-feedback-at-all2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/flashcards/why-should-we-maintain-a-visual-hierarchy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-computability-theory-why-do-we-split-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-are-symbol-symbolic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-is-a-sort-syntactically2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-is-a-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-is-an-operator-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-is-the-scope-of-a2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/according-to-robert-bob-harper-what-is-type-safety2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/an-evaluation-statement-is-derivable-iff-there-exists-which2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-languages-inherently-compiled-interpreted2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-normal-forms-always-a-value2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-runtime-type-errors-a-per-language-choice2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-there-booleans-strings-numbers-defined-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-there-many-built-in-features-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/are-values-always-in-normal-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/between-if-splitting-and-conditionals-which-one-can2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/can-a-language-implementer-choose-whether-to-compile-or2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/can-a-term-fall-within-multiple-syntactic-categories2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/can-recursion-be-obtained-through-desugaring-alone-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/can-safe-statically-typed-languages-do-away-with-dynamic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/can-the-type-system-totally-not-require-interaction-with-or2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/define-boolean-operations-and-or-not-for-church-booleans2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/define-successor-addition-multiplication-zero-test2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/disadvantages-and-advantages-of-union-types-compared-to-sum2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/does-a-language-specify-how-it-should-be-evaluated2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/does-a-repl-enforce-a-kind-of-implementation-compilation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/does-rust-allow-linking-of-different-versions-of-a-crate-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/does-the-choice-of-evaluation-strategy-significantly-affect2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/does-unsafe-language-provide-any-static-type-checking-at-all2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/flashcard2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/formalize-function-application-and-describe-its-notation-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/formalize-the-notion-of-being-closed-under-renaming-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/functions-that-diverge-vs-functions-that-can-fail2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/given-an-equivalence-relation-r-what-does-up-to-r-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-are-derivations-visualized2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-are-the-hypotheses-named-if-there-are-multiple-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-are-types-and-tests-complementary2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-can-a-set-of-evaluation-rules-enforce-an-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-can-the-inductive-definition-define-terms-as-trees2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-do-we-make-sure-the-formal-derivability-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-do-we-make-sure-the-formal-generic-judgment-behaves-as2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-does-derivability-differ-from-admissibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-does-generic-judgment-differ-from-parametric-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-does-the-flow-typing-concept-relate-to-the-parse-do-not2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-does-the-parse-do-not-validate-principle-relate-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-does-the-principle-of-rule-induction-apply-to-the-case2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-has-computer-science-contributed-to-logic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-is-a-type-checker-different-from-a-proof-checker2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-is-generic-derivability-judgment-defined2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-is-language-safety-different-from-static-type-safety2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-is-parametric-derivability-judgment-defined2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-is-the-type-bool-bool-pronounced-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-must-the-concept-of-uniformity-of-a-rule-be-extended2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-allow-methods-to-reference-each-other-using-lexical2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-allow-private-members-to-access-public-members-using2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-a-days-of-week-data-type-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-a-tuple-type-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-an-enumerated-type-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-an-infix-notation-with-a-predefined-fixity2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-multi-argument-functions-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-recursive-functions-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-define-recursive-types-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-destruct-multiple-variables-at-once-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-desugar-letrec-in-racket2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-encode-booleans-and-conditionals-using-church2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-encode-multiple-arguments-in-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-encode-pairs-in-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-get-the-type-of-an-expression-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-implement-classes-with-prototypes2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-implement-inheritance-using-lexical-scoping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-implement-open-recursion-with-self-application2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-implement-self-reference-with-and-without-mutation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-introduce-infix-syntax-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-invoke-a-function-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-make-accessors-on-sum-types-safe2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-merge-multiple-patterns-in-a-match-arm-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-pattern-match-multiple-expressions-at-once2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-place-declarations-inside-a-module-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-specify-a-theorem-with-a-hypothesis-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-use-fix-to-define-recursive-functions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-use-inductive-definition-to-define-functions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-use-the-simpl-tactic-with-a-hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-utilize-the-property-of-word-aligned-addresses-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-verify-the-type-of-an-expression-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-write-a-derivability-judgment-and-what-does-it-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/how-to-write-an-admissibility-judgment-and-what-does-it-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-a-generic-rule-what-are-global-variables-and-local2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-a-hypothetical-rule-what-does-deriving-a-premise-involve2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-a-pre-2018-survey-which-two-features-were-the-most2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-an-abt-what-is-the-valence-of-an-argument2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-an-unsafe-language-how-can-the-system-be-disrupted2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-computability-theory-terms-what-are-the-differences2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-how-many-stages-does-the-transformation-from-concrete2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-pure-lambda-calculus-what-are-the-built-in-constants-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-rocq-what-does-types-and-values-have-to-do-with-theorems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-rocq-which-values-can-block-simplification2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-which-application-is-strong-normalization-desirable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-which-evaluation-strategy-the-one-step-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-which-style-do-the-inductive-definition-and-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/in-which-ways-the-lambda-calculus-can-be-viewed2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/is-a-rust-crate-aware-of-its-name2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/is-bullet-point-optional-in-subgoals-in-a-destruct-tactic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/is-function-signature-compulsory-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/is-inheritance-subtyping2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/is-language-safety-absolute2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/language-safety-from-the-perspective-of-trapped-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/list-some-reasons-why-the-rust-crates-ecosystem-is-robust2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/name-some-classical-heavyweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/name-some-lightweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/other-than-hypotheses-what-can-be-used-with-rewrite-tactics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/should-we-think-in-features-or-paradigms-regarding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/showing-that-derivability-is-strictly-stronger-than2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/the-definition-of-runtime-type-error2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/the-definition-of-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/the-relation-between-an-evaluator-and-an-interpreter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/the-relation-between-the-set-of-values-and-the-set-of-terms2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/to-understand-how-a-program-may-misbehave-in-an-unsafe2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/to-which-degree-can-type-systems-catch-bad-behaviors2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/trait-vs-mixin2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/using-robert-bob-harper-s-notation-what-is-the-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-closed-terms-free-variables-bound-variables2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-combinators-in-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-computation-and-congruence-rules2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-constructor-expressions-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-induction-hypothesis-and-induction-conclusion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-iterated-and-simultaneous-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-judgment-assertion-judgment-form-judgment-instance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-lambda-terms-and-lambda-abstractions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-language-concepts-precisely-described-by2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-local-hypothesis-vs-global-hypothesis2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-nominal-typing-and-structural-typing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-simpl-reflexivity-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-challenges-of-retrofitting-type-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-examples-of-automated-theorem-provers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-problems-with-static-types-that-make-avoiding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-representations-for-natural-numbers-what-did2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-senses-of-the-word-functional-in-functional2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-structural-properties-of-admissibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-some-ways-to-define-the-syntax-of-a-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-substitution-target-and-subject2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-2-definitions-of-substitution-used-in-tapl-for2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-approaches-to-implementing-macros2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-approaches-to-typing-conditionals-and-their2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-benefits-of-functional-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-cons-of-classical-heavyweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-cons-of-lightweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-desirable-properties-of-the-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-differences-between-abstract-and-concrete2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-differences-between-rust-crates-and-rust2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-differences-between-terms-and-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-general-strategies-for-handling-partiality-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-ideal-use-cases-of-asts2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-ideas-of-forward-chaining-and-backward-chaining2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-ideas-of-forward-chaining-search-and-backward2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-ideas-of-micro-and-macro-gradual-typings2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-key-considerations-in-designing-conditionals2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-major-advantages-of-denotational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-methods-of-finding-derivations2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-possible-evaluation-strategies-for-lambda2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-and-cons-of-automated-theorem-provers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-and-cons-of-backward-chaining-search2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-and-cons-of-forward-chaining-search2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-and-cons-of-proof-assistants2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-of-classical-heavyweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-pros-of-lightweight-formal-methods2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-structural-properties-of-generic-derivability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-syntax-values-evaluation-relation-for-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-two-broad-categories-of-software-tools-for2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-two-forms-of-general-judgments2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-use-cases-of-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-uses-for-the-first-type-system-in-fortran2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-the-uses-of-the-self-application-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-theorem-lemma-fact-remark-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-there-in-the-rocq-system-besides-the-kernel2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-two-notions-of-entailment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-are-type-systems-good-for2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-can-a-hypothetical-inductive-definition-be-ragarded-as2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-can-an-evidence-for-admissibility-be-thought-of-as2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-can-functional-programming-refer-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-can-static-and-dynamic-semantics-do2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-do-general-judgments-codify2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-do-generic-judgments-codify2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-do-hypothetical-judgments-codify2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-do-parametric-judgments-codify2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-do-programming-languages-describe-and-for-whom2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-a-set-of-hypothetical-rules-mathcal-r-define2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-abstract-syntax-have-to-do-with-ast-labeled-tree2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-an-inductive-definition-in-rocq-do2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-by-everything-is-a-function-in-lambda2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-by-the-judgment-gamma-vdash-mathcal-r-k2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-by-the-judgment-vdash-mathcal-r-gamma2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-by-the-judgment-vdash-mathcal-r-k-where-k2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-for-a-collection-of-inference-rules-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-it-mean-to-say-church-numerals-represent-ordinary2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-lambda-calculus-consist-of-in-its-purest-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-structurality-mean2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-abort-command-do-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-admitted-command-do-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-evidence-for-generic-derivability-consist-of2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-intros-tactic-do2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-principle-of-complete-induction-state2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-principle-of-lexicographic-induction-state2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-principle-of-ordinary-induction-state2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-principle-of-rule-induction-state2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-the-transition-function-do-in-the-structural2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-uniformity-enable-what-does-it-have-to-the2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-does-variables-in-an-ast-range-over-some-specified2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-else-can-a-type-system-catch-other-than-low-level2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-if-some-hypotheses-are-not-derivable-relative-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-binding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-block-in-programming-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-closure-in-programming-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-common-pattern-of-many-reactive-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-congruence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-countable-set2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-derived-form-in-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-desugarer2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-first-order-variable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-fresh-renaming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-fresh-variable-concerning-a-set-of-variables2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-general-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-generic-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-hypothesis-in-the-context-of-hypothetical2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-hypothetical-entailment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-hypothetical-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-lexicographic-order2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-local-binding-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-logical-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-macro-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-macro2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-metalanguage2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-metatheory2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-metavariable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-normal-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-partial-order2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-powerset2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-preorder2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-primordial-block-in-programming-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-program-in-grammar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-redex-or-reducible-expression-in-church-s2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-rule-schema-and-its-relation-with-concrete-rules2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-rule-scheme2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-tactic-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-term-in-grammar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-a-value-in-programming-language-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-admissibility-as-a-notion-of-entailment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-aliasing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-abstract-binding-graph-abg2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-abstract-binding-tree-abt2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-axiom-inference-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-environment-in-programming-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-equivalent-way-of-defining-j-1-dots-j-n-vdash2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-evaluation-strategy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-evaluator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-example-for-the-tradeoffs-between-the-type2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-example-of-a-generic-derivation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-instance-of-an-inference-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-intro-pattern-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-object-language2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-object2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-an-repl2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-another-name-for-the-divergent-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-automatic-memory-management2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-beta-reduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-bnf2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-church-numerals2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-derivability-as-a-notion-of-entailment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-garbage-collection2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-generic-derivability-judgment-defined-by2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-governance2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-language-safety-both-formally-and-informally2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-lexical-static-scope2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-macro-expansion2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-meta-mathematics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-notation-scope-in-rocq-how-to-explicitly-specify2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-operational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-parallel-simultaneous-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-proof-by-case-analysis-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-proof-by-rewriting-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-proof-by-simplification-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-recursive-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-sequential-let2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-structural-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-assignment-operator-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-class-pattern-with-both-private-members-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-class-pattern-with-private-members2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-class-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-deduction-style-presentation-of-logical-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-definition-of-the-fixed-point-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-destruct-tactic-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-a-compiler-and-an-interpreter2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-a-formal-derivability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-a-formal-generic-judgment2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-and-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-formal-and-actual-parameters2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-difference-between-the-implicit-and-explicit2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-divergent-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-expression-problem2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-forall-keyword-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-form-of-a-generic-rule2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-formal-definition-for-alpha-equivalence2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-fundamental-requirement-of-rocq-on-its-argument2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-hindley-milner-type-inference-algorithm2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-idea-of-hypothetical-inductive-definition2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-idea-of-jit-compilation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-idea-of-mixins2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-idea-of-traits2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-inductive-definition-of-a-judgment-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-kernel-of-the-rocq-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-main-principle-of-functional-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-meaning-of-a-term2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-meaning-of-the-of-the-notation-gamma-vdash2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-motivation-for-hypothetical-inductive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-name-of-rocq-s-native-functional-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-object-pattern2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-one-step-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-operational-semantics-of-arithmetic-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-operational-semantics-of-boolean-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-portability-perspective-on-language-safety2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-principle-of-mathematical-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-principle-of-tree-induction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-basic-objects-and-lambdas2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-language-safety-and-partiality2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-macros-and-parenthetical2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-meaning-and-representation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-methods-and-functions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-objects-and-closures2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relation-between-types-and-runtime-values2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-relationship-between-a-generic-inductive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-rewrite-tactic-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-shorthand-for-the-pattern-intros-then2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-syntax-for-conditional-expressions-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-syntax-for-imports-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-syntax-for-multi-argument-application-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-technique-of-induction-on-derivations2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-untyped-calculus-of-booleans-and-numbers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-usual-treatment-for-the-substitution-problems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-the-wildcard-pattern-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-usually-meant-by-substitution2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-is-usually-used-as-a-state-for-the-abstract-machine-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-kinds-of-languages-in-which-parametric-judgments-are2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-makes-a-type-system-sound2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-another-term-for-evaluation-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-special-about-0-and-fls-in-church-encoding2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-special-about-the-church-encoding-of-numbers-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-benefit-of-adding-simpl-to-proofs-already-with2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-difference-between-a-judgment-and-a-judgment-form2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-difference-between-constructors-and-functions-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-difference-between-reflexivity-and-simpl-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-difference-between-the-call-by-name-fixed-point2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-difference-between-the-fixed-point-y-combinator2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-downfall-of-axiomatic-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-downfall-of-denotational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-idea-of-axiomatic-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-idea-of-denotational-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-most-popular-semantic-style-today-why2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-relation-between-runtime-errors-and-stuckness2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-relation-between-the-y-combinator-and-the-omega2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-standard-notation-for-reflexive-and-transitive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-standard-notation-for-transitive-closure2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-strength-of-axiomatic-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-s-the-symbol-for-untyped-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-some-structural-properties-of-derivability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/what-to-consider-about-the-interaction-between-macros-and2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/when-a-rule-is-not-an-axiom-what-is-it-called2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/when-do-we-call-an-evaluation-statement-is-derivable2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/when-is-a-rule-satisfied-by-a-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/where-can-operators-in-a-bob-harper-s-sense-be-placed-in-an2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/where-can-variables-be-placed-in-an-ast2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-desirable-properties-should-hold-for-most-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-evaluation-strategies-are-strict-lazy2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-form-of-hypothetical-judment-is-stronger2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-notation-is-often-used-to-denote-a-preorder-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-notation-is-often-used-to-denote-strict-inequality-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-notations-are-usually-used-to-specify-sets2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-programming-paradigm-is-a-bridge-between-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-special-treatments-are-given-to-natural-numbers-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbol-is-used-to-denote-an-evaluation-result-of-a2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbol-is-used-to-denote-enriched-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbol-is-used-to-denote-pure-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbol-is-usually-used-to-denote-subtyping-relation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbols-are-usually-given-to-a-finite-set-of-basic2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-symbols-can-be-used-to-mark-nested-subgoals-in2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-terms-are-deemed-values-in-untyped-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-types-are-supported-in-conditional-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/which-values-are-truthy-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-are-most-dynamically-checked-languages-safe2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-are-type-systems-a-valuable-maintenance-tool2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-can-there-be-nonsensical-terms-in-the-untyped-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-can-type-checkers-be-viewed-as-extended-parsers2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-did-lambda-calculus-see-widespread-use-in-programming2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-does-matklad-think-mod-rs-less-system-is-self2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-does-type-inference-cause-vague-error-messages2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-does-we-require-rules-in-a-hypothetical-inductive2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-backward-chaining-goal-directed2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-forward-chaining-undirected2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-it-useful-to-give-2-operational-semantics-for-a2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-self-application-impossible-to-typed2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-subclass-subtype-a-controversial-choice2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-the-admissibility-judgment-not-stable-under2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-the-derivability-judgment-stable-under-extension-to2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-the-property-that-static-types-are-checked-at2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-there-a-need-for-macro-hygiene2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-there-a-need-for-syntactic-sugar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-is-union-type-popular-in-retrofitted-type-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/flashcards/why-should-language-design-go-hand-in-hand-with-type-system2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/phases/phase-0-design-as-a-discipline-recalibration2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-1-foundations-of-program-specification-and-semantics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-10-concurrency-parallelism-models2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-11-metaprogramming-extensibility2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-2-formal-language-theory-parsing2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-3-computability-complexity-decidability2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-4-type-systems-static-verification2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-5-program-logics-verification2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-6-intermediate-representations-ir-compiler-design2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-7-code-generation-runtime-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-8-program-analysis-optimization2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/phases/phase-9-language-implementation-techniques-practical2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/essentials-of-programming-languages2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-1-abstract-syntax2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/part-i-judgments-and-rules2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/preface2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/practical-foundations-for-programming-languages2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/programming-language-pragmatics2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-1-learning-smol-standard-model-of-languages2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-2-evaluation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-3-syntactic-sugar2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-4-objects2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-5-types2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/programming-languages-application-and-interpretation2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-1-basics-functional-programming-in-rocq2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-2-inductive-definitions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-3-hypothetical-and-general-judgments2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/logical-foundations2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/software-foundations2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/books/chapter-1-the-psychopathology-of-everyday-things2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/design/books/the-design-of-everyday-things2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-1-introduction2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-2-mathematical-preliminaries2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-3-untyped-arithmetic-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-4-an-ml-implementation-of-arithmetic-expressions2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/chapter-5-the-untyped-pure-lambda-calculus2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/part-i-untyped-systems2026-04-11T15:46:44.433Zdaily1.0http://localhost/journeys/plt/books/types-and-programming-languages2026-04-11T15:46:44.433Zdaily1.0