All, I have another little Scribble library folks might be interested in:
https://github.com/wilbowma/scribble-coq
This lets you typeset Coq, and particularly runs-and-auto-typesets Coq examples
ala scribble/example.
(Although, far less feature rich for now.)
Supports PDF, LaTeX, and HTML backen
On 3/5/2019 12:25 PM, Matthew Flatt wrote:
The distributed-places implementation is supposed to allow sending a
channel over another channel (and do whatever needs to be done for that
behind the scenes). That's a key part of the design.
However, it looks like sending place channels remotely do
At Sun, 3 Mar 2019 12:58:00 -0500, Jon Zeppieri wrote:
> On Sat, Mar 2, 2019 at 3:38 PM Matthew Flatt wrote:
> > How much memory does the program use, and how much of the run time is
> > GC time?
> >
>
> How would you measure the former? Use a larger file and monitor the
> process? Or is there a
At Sun, 3 Mar 2019 17:08:03 +0100, Benjamin Ostendorf wrote:
> So if /dyn/ is a place channel and place channels can be sent over
> place channels, why is the returned message no longer a place channel?
At Mon, 4 Mar 2019 00:30:31 -0500, George Neuner wrote:
> Note that it is unclear whether eith
4 matches
Mail list logo