News for hackers. Stuff that matters.

A comment on Software Development Languages: Haskell. Parent comment

Re:Software Development Languages: Haskell by nextos on Monday January 31, 2022 @06:39PM (#30156456)
What formal methods did you use?
[ Parent | on HN ]
Re:Software Development Languages: Haskell by exdsq on Monday January 31, 2022 @07:53PM (#30157170)
Combination of Agda, Isabelle, Coq, and TLA+ depending on the team - I mostly interacted with TLA+ and the compiled Haskell from Agda specs :)
[ Parent | on HN ]
Re:Software Development Languages: Haskell by dwohnitmok on Monday January 31, 2022 @07:56PM (#30157210)
Wow definitely want to pick your brain. How large/# of LOC were the Agda, Isabelle, and Coq specs? What industry was this?
[ Parent | on HN ]
Re:Software Development Languages: Haskell by exdsq on Monday January 31, 2022 @08:11PM (#30157334)
Blockchain - two repos with specs are:

* https://github.com/input-output-hk/cardano-ledger

* https://github.com/input-output-hk/plutus

There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

[ Parent | on HN ]