/

smucclaw/lam4

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

HaskellStars 2Forks 1Watchers 2Open issues 48License Other

Details

仓库信息

Ownersmucclaw

Homepage—

Last pushed2025-06-29

Last updated2025-12-14

Issues fetched at—

Stats

Community at a glance