Getting Started with Agda アグダを始ã‚よㆠ- ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°æ—¥è¨˜Agda(Agda2.2.4)をインストールã—㦠hello worldプãƒã‚°ãƒ©ãƒ を書ã„ã¦ã¿ãŸã€‚ OSã®ãƒ‡ã‚£ã‚¹ãƒˆãƒªãƒ“ューションã¯æœ€è¿‘リリースã•ã‚ŒãŸ Ubuntu 9.10。 éžå¸¸ã«ç°¡å˜ã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ãŒã§ããŸã®ã§ã€ä¾å˜åž‹erã®ã¿ã‚“ãªã¯ Ubuntu 使ã†ã¨ã„ã„よ。 Agdaã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« Agdaã®æ¨™æº–ライブラリを使ãˆã‚‹ã‚ˆã†ã«ã™ã‚‹ Agdaã§hello, world Agdaã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« Agdaã¯Emacs上ã§å‹•ä½œã™ã‚‹agda-modeをインストールã™ã‚Œã°ä½¿ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ã¿ãŸã„ã 。 agda-modeã¯apt-getã§ç°¡å˜ã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã§ããŸã€‚ $ sudo apt-get install agda-mode以下ã®ãƒ‘ッケージãŒæ–°ãŸã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã•ã‚Œã¾ã™: agda-mode cpp-4.1 emacs emacs22-bin-common emacs22-common emacs22-g
{{#tags}}- {{label}}
{{/tags}}