#functionaldatastructures — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionaldatastructures, aggregated by home.social.
-
Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN