Search Transcripts
Found 3 results for "agda"
On Pragma
Apr 23, 2024•21 min
...d future specs. The legacy specs, like the formal specification, are written in Agda, and there’s some legacy stuff in Latch. We have partial specifications, meanin...
Hydra
Apr 7, 2024•48 min
...ecification for everything that comes with the governance hard fork, written in Agda. There is no higher standard in computer science. You can see many different in...
Intersect, Repos, and Cardano Product Backlog
Jul 29, 2023•53 min
...tificates that are posted on the Cardano blockchain. These would cover Haskell, Agda, open-source best practices, and a mastering Cardano course. The basic idea is...