2014-06-24から1日間の記事一覧
Agdaではじめてコンパイルしてみたので、そのやり方メモ。環境はWindows7。 emacs上でコードを書く module HelloAgdaWorld where open import IO.Primitive open import Foreign.Haskell open import Data.String main : IO Unit main = putStrLn (toCostrin…
Agdaではじめてコンパイルしてみたので、そのやり方メモ。環境はWindows7。 emacs上でコードを書く module HelloAgdaWorld where open import IO.Primitive open import Foreign.Haskell open import Data.String main : IO Unit main = putStrLn (toCostrin…