Sepehr
Results
1
comments of
Sepehr
Here are the minor changes I made to fix the compile errors. Hope this is helpful. Feel free to look at the `agda2-mode.el` from v2.6.4. ``` --- agda2-mode.el 2024-05-17 20:56:08.379606368...