A functional (and hopefully in the near future, solver-aided) DSL for the law
2
stars
0
forks
source link
Think through how to produce an interview / questionnaire from a Lam4 specification. What further constructs are required for this, if any? #77
Open
ym-han opened 1 week ago