| Name : emacs-agda-el
| |
| 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.13 MB
| |
| Packager : Fedora Project
| |
| Summary : Elisp source files for Agda emacs mode
|
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 package provides the elisp source files for the Emacs mode.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/22/Everything/x86_64/os/Packages/e |
