Hello there! 👋
If you've come that far, you must be interested in the Zilch project. Let me give you a quick recap of how this organisation is managed.
There are already quite a lot of repositories, but here the most important ones:
specification
contains the TeX source code for the official specification document for the whole project. Releases are also created on each push to allow reading the generated PDF without needing to compile everything by hand.zilch
contains the source code for the compiler of Zilch. If anything goes wrong with Zilch, feel free to post issues there, we'll be happy to have feedback on it!nstar
contains the source code for the compiler of N⋆, the backend for Zilch. Same as forgzc
, bugs are to be expected, therefore you must go there to report them.pkgs
is an open collection of user-contributed packages. If you would like to have your package officially added as a Zilch package, head out there and create a new issue! (all instructions are present in theCONTRIBUTING.md
file)rift
hosts the source code of the package manager/build tool for Zilch.
Any repository which is not mentioned above is not important, but can still be curiously visited.
This project is mainly a research project of @Mesabloo which mainly supersedes nihil. While it aims to be solid and serious, bugs are to be expected because many features are very hard to coerce together. If you encouter any bug, head to the correct repository and report a new issue (if no issue has already been reported for this).
Zilch is still being designed (see here) while N⋆ still needs to be documented and extended to support more operations.