Ask HN: Any logic based software dev tool which helps building code gradually? 7 years ago
Well done! I am inspired. Dependent types are the future, and so are you :-).
Loves programming languages!
[ my public key: https://keybase.io/steshaw; my proof: https://keybase.io/steshaw/sigs/XGh4RIuvcgRb-P-4Ne-_FXgMOdTTSFkUs_FGLxeWEhs ]