Hacker News new | ask | show | jobs
by julvo 1984 days ago
Sounds intriguing. What would be the primitives of such a language? Will it be similar to a formal system?