Repository with various code related to logic, type theory, and various computational concepts for recreational programming.
src/
│ # Naive implementation of a SAT solver using stack instead of recursion
├── SAT/
│ # TypeScript types and utility functions to represent and manipulate logical propositions.
│ # These types are used to model logical operations and validate logical expressions
│ # within TypeScript's type system.
├── types/
│ # Typed pipe helper implementation
├── utils/