It's hacky. I edited the generated file. The more complicated
functions like popop will not generate the same errors as the Nim
versions. This is only congruence in the sense that the current jtest
suite passes identically on both.
Ideally I should be generating both the Nim and Python code from the
Prolog compiler.
I had to remove the tuples from the args specs, sphinx had kittens.
I see value both in the autodoc for library.py and the library examples
Jupyter notebook (converted to ReST format) so I'm including them both.
Calling the library module autodocs the "Function Reference".
I waited too long to upload to PyPI and some other bastard snagged the name. I originally wanted to call it "Thun" as a tribute to Manfred von Thun, but I was concerned that this might seem to violate the thrid clause in the license of the original Joy code, to wit:
3. The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission.
Since the author is deceased I don't know of whom to ask permission to call this project Thun, but since I am not trying to "endorse or promote" this project with his name it should be alright. In any event if anyone complains I can rename the project again.
Simon Forman