New top story on Hacker News: Pantagruel: An Unambiguous, Undefined Program Specification Language

Pantagruel: An Unambiguous, Undefined Program Specification Language
26 by crux | 5 comments on Hacker News.