atom-language-idris

atom-language-idris copied to clipboard

As per http://docs.idris-lang.org/en/latest/reference/ide-protocol.html the REPL protocol supports the `:who-calls NAME` command to display the list of callers of NAME

justjoheinz

I am currently working better support for literate idris files with the autocompletion features. [X] add clause [X] add proof clause [X] make with [X] make lemma [ ] make...

justjoheinz

Uncaught At 0 expected: ( found: i

1

[Enter steps to reproduce:] 1. Use the plugin for a while :( **Atom**: 1.18.0 ia32 **Electron**: 1.3.15 **OS**: Microsoft Windows 10 Pro **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package 0.4.9 ### Stack Trace...

jheiling

Uncaught At 0 expected: ( found: E

2

[Enter steps to reproduce:] 1. ... 2. ... **Atom**: 1.18.0 x64 **Electron**: 1.3.15 **OS**: Unknown Windows version **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package 0.4.9 ### Stack Trace Uncaught At 0 expected: (...

DUVELA

Changes required due to TextBuffer.save becoming async in Atom 1.19

2

Hi! Thanks for maintaining the language-idris package! In Atom v1.19, we will release a [major change](https://github.com/atom/atom/pull/14435) to Atom's core text buffer data structure. As part of this change, we have...

maxbrunsfeld

Uncaught At 0 expected: ( found: 5

2

[Enter steps to reproduce:] 1. in http://idris-lang.org/courses/OPLSS2017/Lecture3.zip / interact2-ioactions.idr 2. in atom repl type ```:x help``` **Atom**: 1.18.0 x64 **Electron**: 1.3.15 **OS**: Microsoft Windows 10 Home **Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package...

marklemay

Default settings for REPL

2

I prefer to work in the REPL with `:set showimplicits`, because as a beginner it helps me tremendously to understand Idris. It would be nice, if either there could be...

justjoheinz

Changing font size / customizing package

5

This is presumably a generic issue for Atom, but it's not clear to me how to make the font size big enough so that the wonderful responses which appear after...

allancto

Add proof mode

8

see https://www.youtube.com/watch?v=0eOY1NxbZHo&list=PLiHLLF-foEexGJu1a0WH_llkQ2gOKqipg

archaeron

remove unnecessary load step for some commands?

2

currently, it will type check file before every command like [here](https://github.com/idris-hackers/atom-language-idris/blob/master/lib/idris-controller.coffee#L189). and type checking is really time-costing that we have to wait for almost 10 seconds if only want to...

swr1bm86