jazzdotdev / jazzdotdev/speakeasy
write spec (and possibly a test parser)
Open
feature/syntax
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
- [IELE's use of K Framework](
https://github.com/runtimeverification/iele-semantics/blob/master/Design.md)
(the parser will go in a separate project. below in a more documentation-oriented format would be better here)
~~
- [programming language specification example - Google Search]()
- [plspec](http://cs.lmu.edu/~ray/notes/plspec/)
- [D Programming Language Specification](https://dlang.org/dlangspec.pdf)
- [Language Guide - MoonScript 0.5.0](http://moonscript.org/reference/)
- [php/php-langspec: PHP Language Specification](https://github.com/php/php-langspec)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.