Programming language for literate programming law specification
- programming-language
- legislative-texts
76,855 visible repositories in the index
1–2 of 2 · Most stars
Programming language for literate programming law specification
A modern supercompiler for call-by-value functional languages