Mathematics as a domain specific languagegithub.com2 points·theaeolist··0 commentsOpen articleSaveView on HN