Source
- URL: https://x.com/zyansheep/status/2073451643010703546
- Author: Zyansheep (@zyansheep)
- Posted: 2026-07-04 16:59:29
Branch
1/ @zyansheep
@VictorTaelin
In my language I’m trying to do termination by proxy, I.e. if type checking terminates for a certain validated set of type predicates than the typed program should be guaranteed to not terminate. Thoughts on this strategy?
Related
- Spine: 2026-07-04-sighs