softlang / metalib

A Chrestomathy of DSL implementations
https://softlang.github.io/metalib
9 stars 1 forks source link

Well-formedness checker in the works? #12

Closed rlaemmel closed 6 years ago

rlaemmel commented 7 years ago

cc @johanneshaertel @MarcelH91

Is there such a checker already up and running?

Here is a few things:

I will add more at some point.

rlaemmel commented 7 years ago

I deprioritize this. We need to get #14 more urgently.

le-cram commented 7 years ago

@sschauss : Could you write a quick "how to run" for the checker? We could write this in this project's Wiki as well. It's probably good to follow the locality principle and put all important project related additional information at one place.

rlaemmel commented 6 years ago

I think this is Ok.