https://github.com/aabbtree77/expression-problem

The expression problem solved by DeepSeek in Go, Rust, and Haskell.

abstractions barendregt-cube deepseek-v3 expression-problem lambda-cube language-design open-interface type-embedding

Last synced: 08 Mar 2025