@practal/flyweight
v0.0.10
Published
Flyweight implementation of abstraction logic.
Downloads
2
Readme
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
