The nimna docs are now a part of compiler internal error. Redirecting you now to https://mjendrusch.github.io/projects/nimna/