@practal/flyweight v0.0.10

Practal Flyweight

Flyweight implementation of abstraction logic in TypeScript for experimenting with abstraction logic in practice.

Pointers for the accompanying paper (you can run each example, for example npm run Example-2):

• Example-2: src/theories/Example-2.theory.ts
• Example-8: src/theories/Example-8.theory.ts
• Implication: src/theories/Implication.theory.ts
• Minimal-Logic: src/theories/Minimal-Logic.theory.ts
• Intuitionistic-Predicate-Logic: src/theories/Intuitionistic-Predicate-Logic.theory.ts
• Classical-Predicate-Logic: src/theories/Classical-Predicate-Logic.theory.ts
• Lambda-Calculus: src/theories/Lambda-Calculus.theory.ts
• Peano: src/theories/Peano.theory.ts
• Peano-Recursion: src/theories/Peano-Recursion.theory.ts