Rob Zinkov

One property I would like is that we have some way to inline definitions in different files so the simplifier be able to work across those boundaries.

Bumping to get feedback from @ccshan

That sounds like a good idea! On Mon, Jun 26, 2017 at 12:22 PM, GenevaS wrote: > We want to document (as tutorials) some of the problems that people want...

The correct output should be the following right? ``` x3 = -prob2real(∞) x4 = prob2real(∞) integrate x5 from x3 to x4: if nat2real(0) < x5: nat2prob(1) else: 0/1 ```

Ok I think my recent change fixed the problem, but I'm not entirely confident if my change is the correct thing to do. I'm looking over _Preserving Sharing in the...

Can you paste the error you get? On Tue, May 14, 2019, 15:48 Jacques Carette wrote: > I've made a small change to the documentation, then tried to push them...

If you type in - [ ] they appear On 8 Jul 2016 00:34, "wren romano" [email protected] wrote: > @zaxtax https://github.com/zaxtax how did you make the ticky boxes? > >...

Still worth doing, not urgent. On Sun, Apr 16, 2017 at 6:12 PM, Jacques Carette wrote: > @zaxtax Is this still live? > > — > You are receiving this...

I don't think it's implemented. It shouldn't be too tricky to do so. The main thing is to update primTable in https://github.com/hakaru-dev/hakaru/blob/master/haskell/Language/Hakaru/Parser/SymbolResolve.hs Thank you for taking the time to make...

So if you are using the hakaru command, the coercion logic you are hitting is https://github.com/hakaru-dev/hakaru/blob/master/haskell/Language/Hakaru/Syntax/Value.hs#L95 We chose to go with floor but if you think round is more sensible,...