Agda is a dependently-typed programming language.

Outline:

• started with the native packages
  • immediately hit a snag as the native package is several versions behind
  • even once I worked-around that, it seems the agda-stdlib didn't register itself on install (?)
• OK– moved on to installing with cabal
  • opened an issue on failure
• remove all Arch Haskell packages (except haskell-libs, which Idris needs)
• install ghc & cabal via gchup
• cabal install Agda
• installed stdlib via https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md
• success!

08/05/24 20:20