Yufan Lou Posted on Jun 17, 2020 PLFA #watercooler Random Thoughts (16 Part Series) 1 Clojure and Rust are Duals 2 PLFA ... 12 more parts... 3 Hey.com tackles Unsolicited Bulk Emails with Screening Feature 4 A-chip Mac 5 Template Haskell vs GHC.Generic 6 Lens in 2007 7 (Not) Finally Tagless in Rust 8 Erlang Punctuations 9 Tagless-Final is a Powerful Footgun 10 (Ok) Tagless Final in Rust 11 Today I Learned (Not) Reflection 12 Today I Learned Program and Coprogram 13 Apple Silicon Is Also A Chance To Improve Security 14 Three Vim Features 15 Implementation vs Specification 16 A Merit of Learning a New Language PLFA is both: Programming Language Foundations in Agda Phospholipid-derived fatty acids Top comments (0) Subscribe Personal Trusted User Create template Templates let you quickly answer FAQs or store snippets for re-use. Submit Preview Dismiss Code of Conduct • Report abuse Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink. Hide child comments as well Confirm For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)