Post #1782098

@svetlyak40wt Haha, this is why I was trying to outsource it to you! I guess a reasonable thing for one of us to do would be to reproduce a slide from Robert Smith's ELS2025 talk demoing coalton static typing of a common lisp fft implementation, but inside his mine common lisp/coalton IDE. https://www.youtube.com/watch?v=of92m4XNgrM