Paolo Capriotti

icon indicating a website link https://paolocapriotti.com icon indicating an email [email protected]

icon company Wire icon location Fermo, Italy icon location Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Results 33 comments of Paolo Capriotti

loading zero.agda

Probably Agda 2.3.2. The standard lib is irrelevant, because agda-categories does not use it.

[WPB-10314] validate swagger: add swagger linter to integration tests (so it'll run in CI).

Didn't we say the plan was to write a tool that produces the swagger JSON at linting time? Adding this to integration tests feels wrong.

[WPB-10314] validate swagger: add swagger linter to integration tests (so it'll run in CI).

This was actually still missing fixes for galley's internal API swagger. I wasn't expecting you to merge. It's fine, I'll make a new PR.