It’s over my head but this looks awesome. Via Haskell Weekly.
https://ntrs.nasa.gov/citations/20240010266
2 Likes
Looks interesting, but cannot find a link with the complete implementation. The paper is not self-contained.