你即將離開本站

並前往https://apple.stackexchange.com/questions/460817/how-can-i-install-agda-on-ish

How can I install Agda on iSH? - Ask Different

I want to use Agda in iSH. Agda seems to suggest you need cabal to install it. I don't know why (as in, if you could build it from source, ...

確定！ 回上一頁

查詢 「iSH iOS」的人也找了：

  1. ish shell教學
    2.
  2. iSH Shell
    3.
  3. iSH github
    4.
  4. Ish
    5.
  5. iSH 性能
    6.
  6. iSH docker
    7.
  7. A Shell
    8.
  8. Ish shell commands
    9.