HackerLangs
Top
New
Threads
Past
Comments
Ask
Show
Jobs
Dependently typed Clojure DSL with a Lean4 compatible kernel · HackerLangs