Stevan A

Re-typeset/searchable version of Constructive mathematics and computer programming: http://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf

More on 1971: https://www.reddit.com/r/dependent_types/comments/3s7ws5/looking_for_a_theory_of_types/

I got a similar problem and I found the info in this ticket useful, so I'll include my details here rather than opening a new ticket (hope that's ok). When...

@hvr So the solution here is to manually upload the docs and wait for doc-builder to use `v2-build`?

@gbaz Thanks! How can I rerun the build though? I tried to queue a build via matrix.hackage using my Hackage credentials but it didn't work.

Thank you, that worked!

So I guess the reason it's not retried is because it's not in the list of `.getMessages` in the `or` below? ```clojure (defn ssh* "Evaluates an SSH action against the...

Agreed, this will probably mask an underlying bug. This exception is only thrown sporadically though, maybe 1/50 tests. > if a user provides a nil value in an SSH map...

I see! Given that they've not even responded to your ticket from 2016 about "packet corrupt", do you think it makes sense to mask this bug as well? :-)

I'm trying out the solution of catching of the NullPointerException locally now, will run for a couple of days and see how it goes. > I do want to encourage...