Source
- URL: https://x.com/Kinch_ahoy/status/2073472046907158611
- Author: Goodness, how could that do? (@Kinch_ahoy)
- Posted: 2026-07-04 18:20:33
Branch
1/ @Kinch_ahoy
@VictorTaelin
I got interested in Bend for its prosaic capabilities. What’s the logic behind trying to make it a theorem prover? Language design should be a flight of fancy, so I approve, but I don’t think I’ve seen you write up why you are colliding these worlds.
Related
- Spine: 2026-07-04-sighs