Agda の compile

compiler の読み会で使おうかなと。

singurality でやるんですが、LLVM/clang は楽勝だったのが... (CbC merge はまだ)

agda が全然できない

　　そもそも Ubuntu の ghc / cabal が古すぎる (GHC 8.8 / cabal 3.0)

いろいろ試したんだが、

　　結局、https://downloads.haskell.org から tar ball を持ってくるのが早い
　　ghc-9.2.4 cabal 3.8.1

という身も蓋もない話らしいです。

いや、Agdaの ghc build が 1.5Gもメモリ食ってるんだが...

できんのかこれ。