andrew-johnson-4 / PunCalculus

A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)

andrew-johnson-4/PunCalculus Issues

Document some specific use-cases such as type-safe elimination of parametric polymorphism
Closed 5 months ago2
CLI expression evaluator
Closed 5 months ago
Optimize?
Closed 5 months ago
Explore the implications of plural abstractions
Closed 5 months ago1
Add mnemonics for x86 assembler opcodes
Closed 6 months ago1
Cleanup Build Artifacts from Binary Codegen
Closed 6 months ago1
Make a tiny standard library with typed assembly
Closed 6 months ago1
Add GNU Assembler backend
Closed 6 months ago
Port LSTS test cases
Closed 7 months ago
Rust macro for defining terms
Closed 8 months ago1