Zespre Chang starbops

## agda-os-x.md

      
              1 file
            
          
              0 forks
            
          
              2 comments
            
          
              0 stars
            
          
                starbops
                / agda-os-x.md
            
            
              Last active
              August 29, 2015 14:03
                — forked from banacorn/agda-os-x.md
            
          
    Mac OS X 的 Agda 安裝指南

透過 Hackage 安裝（難度 ✮✮☆☆☆）


首先先把 Haskell Platform 裝好 http://www.haskell.org/platform/


把這份 script 複製到 /usr/bin 並且執行它 http://www.haskell.org/platform/ghc-clang-wrapper


接著把 Aquamacs 裝好 http://aquamacs.org/


在終端機中醫序輸入下列指令就完成啦