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

Add Logger to Haskell backend, prob by just adapting / copying fendor's from main branch L4 #70

Open ym-han opened 2 months ago

ym-han commented 2 months ago

The place that needs this the most is probably Parser.hs