RSS BotMB to Lobste.rsEnglish · 12 days agoFunctional Data Structures and Algorithms. A Proof Assistant Approachfdsa-book.netexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10file-textcross-posted to: hackernews
arrow-up13arrow-down1external-linkFunctional Data Structures and Algorithms. A Proof Assistant Approachfdsa-book.netRSS BotMB to Lobste.rsEnglish · 12 days agomessage-square0linkfedilinkfile-textcross-posted to: hackernews
