bosatsu
bosatsu copied to clipboard
Published
20 hours ago •
johnynek
johnynek
A python-ish pure and total functional programming language
Results
132
bosatsu issues
Sort by
recently updated
recently updated
newest added
``` [info] - we enumerate from most to superkinds *** FAILED *** (14 minutes, 17 seconds) [info] StackOverflowError was thrown during property evaluation. [info] Message: "None" [info] Occurred when passed...
see something like: https://indico.cern.ch/event/313684/contributions/1687773/attachments/600513/826490/FPArith-Part2.pdf the idea would be rewrite expressions so they are numerically stable, and possibly optimize final functions so they a IEEE754 -> IEEE754 but with the least...