logoalt Hacker News

0xbadcafebee • yesterday at 11:03 PM • 0 replies • view on HN

So, Eiffel or Ada and TLA+