2011-04-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
ã‚ãã ã•ã‚“ï¼ã‚ãã ã•ã‚“ãƒ¤ãƒƒãƒ›ï¼ Agda2ã«æ‰‹ã‚’出ã—ã¦ã¿ãŸï¼Žã¨ã‚Šã‚ãˆãšã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—文法ã¨ã‹agda-modeã¨ã‹ã‚’ザックリã¨ã ãŒè¦šãˆï¼Œã‚¯ã‚¤ãƒƒã‚¯ã‚½ãƒ¼ãƒˆã‚’æ¢ã‚られるã‚ãŸã‚Šã¾ã§æŠŠæ¡ã—ãŸã®ã§ï¼Œç·´ç¿’ã¨ã—ã¦Data.Natã«ç„¡ã•ã’ã ã£ãŸé€Ÿã„冪乗を書ã„ã¦ã¿ã‚‹ã“ã¨ã«ï¼Žã¨ã‚Šã‚ãˆâ€¦
