dolio

So, my understanding of the reasons behind these two poor behaviors is as follows. For the `foo : Nat` vs. `foo = do ...` example, the reason for the verbose...

Personally I think code like this should be an error caught during parsing or similar. I think it's likely to be a mistake most of the time. There are two...

With parameterized abilities, this actually makes the type system unsound: ``` ability C a where c : a h : a -> Request {C a} r -> r h x...

I'm going to add some notes regarding these papers for future reference. The paper "Abstraction-Safe Effect Handlers via Tunneling" notes that this problem is essentially the problem with dynamic scoping....

My understanding of the Koka paper is: it works like Frank but with explicit polymorphism. The way this issue is solved there is that rows must always agree, up to...

So, here's what I think is going on. Eventually we do something like: subtype ('{IO} () ->{IO} ()) ('{g} () ->{g} ()) This then eventually does two subtype calls: subtype...

Weapon Finesse in ToEE already works the 3.5 way, though.

I added better handling of panics to the interpreter interface. Now they are caught alongside runtime exceptions like `bug`, and printed more like a standard error message. Before they bubbled...

What if instead of a temp file, you temporarily created the `output.md`, then renamed it over the original `.md`? Not as general purpose, but might work for this case.

FYI, the base tests are more or less fixed. Apparently the discrepancy was actually due to a problem in a previous commit. So I think this is ready to go...