← Back to context

Comment by mickeyp

11 hours ago

That's lovely. I look forward to seeing your autoconf and GNU Make replacement in MAUDE SYSTEM.

0 comments

mickeyp

Reply

No comments yet

Contribute on Hacker News ↗