No need for pull requests, if you have access to this, go ahead and push to the default branch.
Work inside your own directory, but aside from that, go nuts!
Some project participants prefer to work within their existing GitHub repos:
legalese/sandbox
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Grammatical Framework 70.4%
- C++ 17.1%
- TeX 3.3%
- Haskell 2.5%
- HTML 1.6%
- Lean 1.3%
- Other 3.8%