Ur/Web: A simple model for programming the Web [pdf]adam.chlipala.net3 points·erkose··0 commentsOpen articleSaveView on HN