Brief point on static typing (general purpose languages vs. Coq, Agdablog.tmorris.net2 points·gtani··0 commentsOpen articleSaveView on HN