News for hackers. Stuff that matters.

A comment on Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Parent comment

Re:Seven Sketches in Compositionality: An Invitation to Appl... by mikhailfranco on Sunday July 07, 2019 @08:56PM (#20379090)
True, e.g. whatever happened to SRI/Kestrel Specware?
[ Parent | on HN ]

There are no comments on this comment yet.