☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Clojure programming language discussion@lemmy.mlEnglish · 5 months agoDependently typed Clojure DSL with a Lean4 compatible kernelgithub.comexternal-linkmessage-square0linkfedilinkarrow-up11cross-posted to: clojure@programming.dev
arrow-up11external-linkDependently typed Clojure DSL with a Lean4 compatible kernelgithub.com☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Clojure programming language discussion@lemmy.mlEnglish · 5 months agomessage-square0linkfedilinkcross-posted to: clojure@programming.dev