Jürgen Heiling

fixed bug: used CountX instead of CountY in line 25

Uncaught At 0 expected: ( found: l

5

[Enter steps to reproduce:] 1. ... 2. ... **Atom**: 1.18.0 x64 **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 Uncaught At 0 expected:...

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...

because i think they really should be there... implementation ToJS Nat JSNumber implementation ToJS Integer JSNumber implementation FromJS JSNumber Integer