POPL Paper–Formalising Graphs with Coinductiondoisinkidney.com1 point·082349872349872··0 commentsOpen articleSaveView on HN