Labels
Labels
29 labels
- Something isn't working
- everything that should be done for posterity
- issues related to the API
- Improvements or additions to documentation
- This issue or pull request already exists
- related to encoding existing legal into L4
- New feature or request
- Good for newcomers
- Extra attention is needed
- build, CI, and devops
- This doesn't seem right
- core language syntax, semantics, and toolchain
- Further information is requested
- deontic and moving-parts expressions, for regulative rules
- our test suite and failures
- transpilation targeting automated app builder or other operationalization
- VS Code extension and bundling
- This will not be worked on