#equationalreasoning — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #equationalreasoning, aggregated by home.social.
-
😂 Oh joy, another riveting dissertation on type checkers! Because who doesn't love equational reasoning and fold fusion in their bedtime reading? 🤓 Let's all gather 'round for a thrilling tale of algebraic approaches and constraint-based soliloquies that absolutely no one asked for. 🎉
https://bahr.io/pubs/entries/calctyper.html #typeCheckers #equationalReasoning #foldFusion #algebraicApproaches #constraintBased #HackerNews #ngated -
😂 Oh joy, another riveting dissertation on type checkers! Because who doesn't love equational reasoning and fold fusion in their bedtime reading? 🤓 Let's all gather 'round for a thrilling tale of algebraic approaches and constraint-based soliloquies that absolutely no one asked for. 🎉
https://bahr.io/pubs/entries/calctyper.html #typeCheckers #equationalReasoning #foldFusion #algebraicApproaches #constraintBased #HackerNews #ngated -
😂 Oh joy, another riveting dissertation on type checkers! Because who doesn't love equational reasoning and fold fusion in their bedtime reading? 🤓 Let's all gather 'round for a thrilling tale of algebraic approaches and constraint-based soliloquies that absolutely no one asked for. 🎉
https://bahr.io/pubs/entries/calctyper.html #typeCheckers #equationalReasoning #foldFusion #algebraicApproaches #constraintBased #HackerNews #ngated -
😂 Oh joy, another riveting dissertation on type checkers! Because who doesn't love equational reasoning and fold fusion in their bedtime reading? 🤓 Let's all gather 'round for a thrilling tale of algebraic approaches and constraint-based soliloquies that absolutely no one asked for. 🎉
https://bahr.io/pubs/entries/calctyper.html #typeCheckers #equationalReasoning #foldFusion #algebraicApproaches #constraintBased #HackerNews #ngated