Magnus Madsen

This is on hotcrp. Some more information, I seem to have "multiple accounts", although I am not sure how that should affect my ability to change my affiliation.

I know I am a bit late, but could someone expand a bit one what would be needed to implement this? I see https://github.com/sirthias/parboiled/blob/master/parboiled-core/src/main/java/org/parboiled/buffers/MutableInputBuffer.java How much implementation effort would approximately...

I have the same issue. Windows 10. Idris 1.1.1. Visual Code 1.16. Interestingly, selecting "Start or refresh Idris repl" works. Everything else seems to not work. I can run idris...

I had the files store on my desktop, which has the path: `\\MyDomain\Users\MyUserName\Desktop\idris` Notice this is a domain path. I moved my idris file to `C:\tmp\` and then it works.

I know this is old. But i now think we can do it without boxing. The trick is to only return the id number of the select branch to execute....

Superseded by #4738 which is almost done.

Hello @helpermethod and welcome to our little community :) That sounds interesting. Not being familiar with these, what would that entail? For example, I am soon preparing a new release....

This looks interesting. I'd like to start with the GitHub release workflow! - We usually write our own change log because there are many changes, but most our not relevant...

Sounds approximately reasonable 👍

Can we make it so that if no version is set the entire build fails? I think that would be much safer?