| Name : emacs-agda
| |
| Version : 2.4.2.2
| Vendor : Fedora Project
|
| Release : 3.fc22
| Date : 2015-04-20 03:02:47
|
| Group : Applications/Editors
| Source RPM : Agda-2.4.2.2-3.fc22.src.rpm
|
| Size : 0.12 MB
| |
| Packager : Fedora Project
| |
| Summary : Emacs mode for the Agda language
|
Description :
Agda is a dependently typed functional programming language: it has
inductive families, which are similar to Haskell\'s GADTs, but they can
be indexed by values and not just types. It also has parameterized
modules, mixfix operators, Unicode characters, and an interactive
Emacs interface (the type checker can assist in the development of your code).
This is the interactive Emacs mode for Agda.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/22/Everything/x86_64/os/Packages/e |
