News for hackers. Stuff that matters.

A comment on Limbo – A Reasoning System for First-Order Limited Belief. Parent comment

Re:Limbo – A Reasoning System for First-Order Limited Belief by coldtea on Sunday May 07, 2017 @08:24AM (#14285099)
>Limbo is a programming language for writing distributed systems

Limbo was

I fixed it for you.

[ Parent | on HN ]

There are no comments on this comment yet.