News for hackers. Stuff that matters.

A comment on Barliman: Prototype of a smart text editor. Parent comment

Re:Barliman: Prototype of a smart text editor by runeks on Saturday July 30, 2016 @07:58PM (#12195150)
So is this like a simpler interface for making Coq-like specifications?
[ Parent | on HN ]

There are no comments on this comment yet.