racket-lang.org
Racket: Help
http://racket-lang.org/help.html
Racket has a variety of resources designed to help you with any problems you may have. Your first stop should always be with the help system that's built into Racket and available from DrRacket's help menu or by pressing F1 with the cursor on a search term. Not sure what to search for? The documentation includes a guide. Also located in your local copy of the documentation) that provides a narrative introduction to many of Racket's features. Learning how to Program. Area of the website.
github.com
GitHub - greghendershott/frog: Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
https://github.com/greghendershott/frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments. Use Git or checkout with SVN using the web URL. Jan 25, 2016. Bump to v0.25. Failed to load latest commit information. Update example .mdt source. Oct 26, 2015. Fix spurious test failures on pkgs.racket-lang.org. Jan 25, 2016. Ignore Emacs / DrRacket backups and tags files. Jun 25, 2015. V024: Dep racket 6.0 rackjure 0.9. Oct 16, 2015. Add purpose paragraph in README file. Jan 25, 2016. Jun 30, 2015.
blog.racket-lang.org
The Racket Blog: The Racket package system and Planet
http://blog.racket-lang.org/2014/12/the-racket-package-system-and-planet.html
The Racket package system and Planet. Posted by Jay McCarthy. The package system and Planet do not solve the same problem and don't exist for the same reason. A file distribution mechanism for source code. Files that are installed into a particular place on your machine and then. A mechanism for automatically downloading and installing source code just before it is needed by programs. A centralized database of libraries. A prescriptive model of how programs and libraries should be composed. Furthermore, ...
blog.racket-lang.org
The Racket Blog: 2014-02
http://blog.racket-lang.org/2014_02_01_archive.html
Posted by Ryan Culpepper. Racket version 6.0 is now available from. Racket 6.0 has a new package system, including a catalog of hundreds of already-available packages. Please visit. Http:/ pkgs.racket-lang.org/. For an overview of the packages. Racket versions 5.3.4 through 5.3.6 included "beta" versions of the package system. Racket version 6.0 incorporates many improvements suggested by preliminary experiences in those versions:. Package installation supports pre-built packages that include compiled by...
lambdacat.com
Getting started with 'The Little Prover'
http://www.lambdacat.com/getting-started-with-the-little-prover
Support LambdaCat on Patreon. Follow LambdaCat on Twitter. Follow LambdaCat on Google. Is a blog which explains visually and succinctly. Getting started with 'The Little Prover'. So you are interested in proof assistants and you got your paws on the newly published The Little Prover. The latest book of the series you've heard much good about, which includes:. I'll save you that effort in this guide. There many choices for a Scheme implementation, as you may have noticed. And other famous books. Is a set ...
jeapostrophe.github.io
2013-11-05: Implementing a Short Hand for Rackunit Tests
http://jeapostrophe.github.io/2013-11-05-chk-post.html
Implementing a Short Hand for Rackunit Tests. It’s almost time to go! 2013-11-05: Implementing a Short Hand for Rackunit Tests. The source for this post is online at 2013-11-05-chk.scrbl. I recently released the rackunit-chk. Package to simplifying writing rackunit. Tests In this post, I write about how it works. I have been thoroughly brainwashed into believing that writing test for software is extremely important. rackunit. You can write tests for this by writing things like:. I find both of these to b...