Chris

" \\\n " is linted to a complex multiline string

8

I've noticed that `dhall lint` and `dhall format` convert `" \\\n "` into '' ${" "}\ ${" "} '' I could be convinced that '' \ '' is sensible, since...

As discussed in #29 , a CSV-parsing example could be useful. Looking at `Text.Parser.JSON`, I don't think what I have here is general enough to be in the main library...

CSV example or module?

1

I have a basic but ~working CSV parser that, with a little polishing, might be of use to others. Is there any interest in integrating this as an example or...

agda is running in read-only (sandboxed?) filesystem

3

Hello, First, let me thank you for writing and maintaining this extension: agda would be very difficult without it. I've noticed that system calls via the Reflection.External interface fail if...

Decidable Setoid -> Apartness Relation and Rational Heyting Field

12

As requested on zulip, this adds 1) a proof that all Decidable Setoids induce a tight Apartness Relation and 2) a proof that the Rationals form a Heyting Field. I...

FR: adding conditional OT neural solvers

6

First off: I really like this library. I was able to get it running rather quickly and test on a few toy low-dimensional examples that close nicely using the provided...

Poorly formed xml from MG5

7

Madgraph sometimes writes out strange characters to the `lhe` file. For example, here's how `vim` displays a recently-produced file. I think it's safe to ignore these lines in the parsing....