search

smucclaw / lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law
MIT License
1 stars 0 forks source link

Make basic version of wrapper CLI(s) #71

Closed ym-han closed 1 month ago

ym-han commented 1 month ago
ym-han commented 1 month ago

Closed by #81