Siddharth
Siddharth
@mlite Sorry for pinging you after so long on this, but I just got the bandwidth to spelunk. Unfortunately, I am unable to find the relevant commit which mentions checkpoint....
@michalt, did you get around to benching `Checkpoint`? I'd be interested in setting up benchmarks.
@michalt That's very interesting, thanks. Is that the most up-to-date information available on Hoopl? (Is it still very expensive, for example?)
@Kha I opened a draft PR over at `melpa` to add `lean4-mode`: https://github.com/melpa/melpa/pull/8106 . Does this work for you?
This can lead to exponential blowup. Also, I think you need to be somewhat careful and handle things like recursion carefully. On Sat 10 Jun, 2017, 21:38 Vivek Ghaisas, wrote:...
sure, `lib` sounds like a decent idea.
no real type theory knowledge. This was discussed a lot in Rust, where they considered allowing optional arguments to be called with python's default argument syntax. ```rust def f(name: Option,...
@tobiasgrosser I am unsure about how accurate the above advice is about `matplotlib`. I have had success with it, but I don't understand all the interactions here. For example, where...
I’m happy to see it merged. I don’t particularly have the enthusiasm/cycles to figure out the answers to the questions above, to be honest, so I let you choose what...
LGTM, I'm assuming this is based off of https://github.com/bollu/alive/pull/2?