lobsters__gabri_76ac@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 17 days ago[plt] Unification-free ("keyword") type checkingwww.haskellforall.comexternal-linkmessage-square18linkfedilinkarrow-up11file-text
arrow-up11external-link[plt] Unification-free ("keyword") type checkingwww.haskellforall.comlobsters__gabri_76ac@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 17 days agomessage-square18linkfedilinkfile-text
minus-squarelobsters__gabri_76ac@crustaceanson.theshelf.topOPMlinkfedilinkarrow-up1·16 days agoAuthor here: one of my projects (the Dhall configuration language) does exactly that score 3 · canonical
Author here: one of my projects (the Dhall configuration language) does exactly that
score 3 · canonical