[ANN] Copilot 3.14 - Runtime Verification Haskell EDSL used at NASA

Hahah that’s a good one

1 Like