smucclaw/lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law

语言：Haskell · GitHub 星标：2 · Fork：1

在 GitHub 上查看原仓库