4 ms·

Thanks, will look into that - I read that Coq can generate Haskell etc, so I was wondering if something similar exists.