☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Clojure programming language discussion@lemmy.mlEnglish · 4 months agoDependently typed Clojure DSL with a Lean4 compatible kernelgithub.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10cross-posted to: lobsters@lemmy.bestiver.se
arrow-up13arrow-down1external-linkDependently typed Clojure DSL with a Lean4 compatible kernelgithub.com☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Clojure programming language discussion@lemmy.mlEnglish · 4 months agomessage-square0linkfedilinkcross-posted to: lobsters@lemmy.bestiver.se