A categorical programming language
Debug FP multiplication somewhat. For some reason, ground inputs are not giving a ground output. This might be an issue with the structure of eval°, but I'm...