Functional Programming in Lean(leanprover.github.io)130 points by d_christiansen 3 years ago | 31 comments
Dusa Programming Language (Finite-Choice Logic Programming)(dusa.rocks)153 points by febin 1 year ago | 36 comments
Functional Programming with TypeScript's Type System(desislav.dev)74 points by evolveyourmind 3 years ago | 30 comments