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

Package Lam4 up / add dev environment, probably using Nix (with the ability to generate containers) #73

Open ym-han opened 1 month ago

ym-han commented 1 month ago

This is probably too much work for it to be required for the first milestone