kuwze

I have the same issue. IEx is hanging with very simple input almost as soon as I start trying to use it. I am using very simple code as I...

I have no clue if I am actually contributing, but I found this recent paper with the title [Try/Catch and Async/Await are just a specialized form of Algebraic Effects!](https://www.reddit.com/r/ProgrammingLanguages/comments/9kzcz6/trycatch_and_asyncawait_are_just_a_specialized/) on...

What is a workaround if I want to start using proof-general? I am getting this error when I try to install it.