Compute Normal Form not working with Agda 2.5.2

banacorn / agda-mode

agda-mode on Atom

https://atom.io/packages/agda-mode

MIT License

58 stars 14 forks source link

Compute Normal Form not working with Agda 2.5.2 #43

Closed Johhagg closed 7 years ago

Johhagg commented 7 years ago

Normal form does not work in Atom for me. No matter what I type, it always results in "Compute Normal Form". This worked before I updated to 2.5 from 2.4.

banacorn commented 7 years ago

This looks suspiciously similar to that of #41!

Thanks for reporting this, I'll patch it as soon as I got out of the barrack XD