We don't test contracts. In general contracts are relatively simple functions,
but yes, we have written several papers on bugs in contracts and how this
complicates a contract monitoring system.
If you are asking how to test functions that have contracts, I import that
module itself into a su
Matthew Flatt writes:
> In particular, see this message from mid-July:
>
> http://www.mail-archive.com/dev@racket-lang.org/msg09419.html
Thanks, that (and the following discussion) provides a lot of
background information. In particular, I now see that the main goal of
the package system is
Greetings.
On 2013 Aug 30, at 17:01, Konrad Hinsen wrote:
> One possible development could be that the de-facto standard for
> Racket packages becomes development on Github, with people installing
> from specific Github commits rather then going through any of the
> catalogs, for better version
On Fri, Aug 30, 2013 at 10:38 AM, Norman Gray wrote:
>
> Greetings.
>
> On 2013 Aug 30, at 17:01, Konrad Hinsen
> wrote:
>
> > One possible development could be that the de-facto standard for
> > Racket packages becomes development on Github, with people installing
> > from specific Github commit
Dave,
Scribble does not have great support for typesetting math. I would love
to use Scribble for all my typesetting needs. However, I have to
fall back to Latex whenever I need to typeset math.
There are ways to insert Latex in Scribble. Others on the list might
have more information about how t
On Aug 30, 2013, at 9:50 AM, Peter Schmiedeskamp wrote:
> Dear list,
>
> I thought it would be an interesting exercise to learn something about Racket
> and FFI by wrapping libgeos (http://trac.osgeo.org/geos/) similar to what the
> R people have done (http://cran.r-project.org/web/packages/rg
I'm a bit pressed for time, so I'll have to postpone learning Scribble for a
later date. In the meantime, thanks for the reply!
On Aug 30, 2013, at 10:23 AM, "William J. Bowman"
wrote:
> Dave,
>
> Scribble does not have great support for typesetting math. I would love
> to use Scribble for al
Hi All --
I'm an apprenticing high school math teacher looking for a documentation tool
for use in preparing lesson plans and class presentations. I've been advised to
use Latex. But as a former HtDP'er, I've been looking for an excuse to get
back into Racket, and I thought learning Scribble m
Dave wrote:
I'm an apprenticing high school math teacher looking for a
documentation tool for use in preparing lesson plans and class
presentations. I've been advised to use Latex. But as a former
HtDP'er, I've been looking for an excuse to get back into Racket, and
I thought learning Scribble
Dear list,
I thought it would be an interesting exercise to learn something about
Racket and FFI by wrapping libgeos (http://trac.osgeo.org/geos/) similar to
what the R people have done (
http://cran.r-project.org/web/packages/rgeos/index.html).
Right out of the gate, I seem to be stuck, and am h
On 29/08/13 20:14, Matthew Flatt wrote:
Package versions are intended to be like semver, but they differ
syntactically because
* the major number should be part of the package name, and
* the major number "1" is written "".
So, write xdgbasedir version 0.1.0 as package name "xdgbasedir0"
Hello,
I have been trawling through the packages at:
http://pkg.racket-lang.org
And have found that very few of the packages have any licensing information
and are effectively proprietary software, despite what their authors may
have
intended. I can therefore study them, but not use them
Licensing info should be part of the metadata for a package.
McFly actually has the licensing info for a package be in the package's
"info.rkt". McFly includes that info in standard places in the
package's formatted documentation.
Neil V.
Racket Users list:
http://lis
13 matches
Mail list logo
