blob: 31f496fbd857d5fda050b72070684af2c1e7f282 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://srcux.com/dtd/metadata.dtd">
<pkgmetadata>
<longdescription lang="en">
This is an emacs mode for editing Idris code.
This mode was original designed to work with version 1 of the
language through an IDE-Protocol. Idris2 uses the next iteration
of the same protocol. Idris-mode tries to maintain compatibility
with both protocol versions, however, not all the features from
the IDE-Protocol have been realised in Idris2. When using
idris-mode with Idris2 your experience might be a bit clunky.
</longdescription>
<stabilize-allarches />
<origin>srcux</origin>
</pkgmetadata>
|
