suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mention that all definitions are exported in #lang plai's docs

Browse Source
This commit is contained in:
Robby Findler 2014-05-04 20:57:03 -05:00
parent 1ce09cf924
commit 39a1ecbb7c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/plai/scribblings/plai.scrbl
View File

@ -59,7 +59,8 @@ This package contains the following languages:
@PLAI-LANG is derived from the @racketmodname[scheme] language. In addition,
it includes the @racket[define-type] and @racket[type-case] forms and testing
support.
support. Also, modules written in @racketmodname[plai] export every definition
(unlike @racketmodname[scheme]).
@subsection[#:tag "define-type"]{Defining Types: @racket[define-type]}