logoalt Hacker News

UltraSane • yesterday at 10:29 PM • 0 replies • view on HN

Even Lean 4 strong typing