Welcome to Agda’s documentation! Overview Getting Started What is Agda? Installation ‘Hello world’ in Agda A Taste of Agda A List of Tutorials Language Reference Abstract definitions Built-ins Coinduction What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. Non-Windows users need to ensure that the development files for the C libraries zlib and

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Installation ‘Hello world’ in Agda A Taste of Agda A List of Tutorials Language Reference Abstract definitions Built-ins Coinduction What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. Non-Windows users need to ensure that the development files for the C libraries zlib and

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Installation ‘Hello world’ in Agda A Taste of Agda A List of Tutorials Language Reference Abstract definitions Built-ins Coinduction What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. Non-Windows users need to ensure that the development files for the C libraries zlib and

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Installation ‘Hello world’ in Agda A Taste of Agda A List of Tutorials Language Reference Abstract definitions Built-ins Coinduction What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. The installation location is described by field installdir in the cabal configuration (check

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Prerequisites Installation ‘Hello world’ in Agda Quick Guide to Editing, Type Checking and Compiling Agda Code A List of Tutorials What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory, and is the latest in the tradition of languages developed in the programming logic group org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Prerequisites Installation ‘Hello world’ in Agda Quick Guide to Editing, Type Checking and Compiling Agda Code A List of Tutorials What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory, and is the latest in the tradition of languages developed in the programming logic group org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing

Welcome to Agda’s documentation! Overview Getting Started Prerequisites Installation Quick Guide to Editing, Type Checking and Compiling Agda Code Language Reference Abstract definitions Built-ins org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing (shell-command-to-string "agda-mode locate"))) It is also possible (but not necessary) to compile the Emacs mode’s files: agda-mode compile This can, in some cases, give a noticeable speedup. Warning: If you reinstall

Welcome to Agda’s documentation! Overview Getting Started Prerequisites Installation Quick Guide to Editing, Type Checking and Compiling Agda Code Language Reference Abstract definitions Built-ins org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing (shell-command-to-string "agda-mode locate"))) It is also possible (but not necessary) to compile the Emacs mode’s files: agda-mode compile This can, in some cases, give a noticeable speedup. Warning: If you reinstall

Welcome to Agda’s documentation! Overview Getting Started Prerequisites Installation Quick Guide to Editing, Type Checking and Compiling Agda Code Language Reference Abstract definitions Built-ins org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing (shell-command-to-string "agda-mode locate"))) It is also possible (but not necessary) to compile the Emacs mode’s files: agda-mode compile This can, in some cases, give a noticeable speedup. Warning: If you reinstall

Welcome to Agda’s documentation! Overview Getting Started What is Agda? Prerequisites Installation ‘Hello world’ in Agda Quick Guide to Editing, Type Checking and Compiling Agda Code A List of Tutorials What is Agda? Agda is a dependently typed programming language. It is an extension of Martin- Löf’s type theory [https://ncatlab.org/nlab/show/Martin-L%C3%B6f+dependent+type+theory] and is the latest org/software/emacs/ You should also make sure that programs installed by cabal-install are on your shell’s search path. For instructions on installing a suitable version of Emacs under Windows, see Installing