At that point you might as well use Lean? It would solve the two language problem :-) | alt Hacker News

alt Hacker News

stabbles • today at 8:07 AM • 1 reply • view on HN

At that point you might as well use Lean?

It would solve the two language problem :-)

Replies

araquesebastian • today at 8:45 AM

yep