A New Programming Language for Text Editing and Fact Verification [pdf]

news.ycombinator.com

Add Remove