Hacker News new | ask | show | jobs
by opnitro 1591 days ago
Yes it is an attempt at being a formal model of that language.