News for hackers. Stuff that matters.

A comment on Formalizing Text Editors in Coq. Parent comment

Re:Formalizing Text Editors in Coq by i6ruce on Tuesday June 09, 2020 @04:00AM (#23464687)
As far as I understand, GP meant that this piece should be in an article or blog post form because it has very beginner material for the PL community.
[ Parent | on HN ]

There are no comments on this comment yet.