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

put the guide and reference onto separate pages

Browse Source
This commit is contained in:
AlexKnauth 2016-09-30 14:44:41 -04:00
parent 0275d0143d
commit 41491136b6
5 changed files with 9 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
info.rkt
View File

@ -11,6 +11,7 @@
(define build-deps
'("rackunit-lib"
"scribble-lib"
"sandbox-lib"
"racket-doc"
))

2
turnstile/info.rkt
View File

@ -1,7 +1,7 @@
#lang info
(define scribblings
'(["scribblings/turnstile.scrbl" ()]))
'(["scribblings/turnstile.scrbl" (multi-page)]))
(define compile-omit-paths
'("examples/rosette"

2
turnstile/scribblings/guide.scrbl
View File

@ -5,7 +5,7 @@
(except-in turnstile/turnstile ⊢))
"doc-utils.rkt" "common.rkt")
@title{Guide}
@title{The Turnstile Guide}
This guide explains how to use Turnstile to implement a series of languages with
some common type system features.

2
turnstile/scribblings/reference.scrbl
View File

@ -5,7 +5,7 @@
(except-in turnstile/turnstile ⊢ stx))
"doc-utils.rkt" "common.rkt")
@title{Reference}
@title{The Turnstile Reference}
@section{Typing Unicode Characters}

14
turnstile/scribblings/turnstile.scrbl
View File

@ -2,16 +2,14 @@
@(require (for-label racket/base))
@title{The @racketmodname[turnstile] language}
@title[#:style '(toc)]{The @racketmodname[turnstile] language}
@defmodule[turnstile #:lang #:use-sources (turnstile/turnstile)]
@(author
@(author
(author+email "Stephen Chang" "stchang@racket-lang.org" #:obfuscate? #t)
(author+email "Alex Knauth" "alexander@knauth.org" #:obfuscate? #t)
(author+email "Ben Greenman" "types@ccs.neu.edu" #:obfuscate? #t)
(author+email "Stephen Chang" "stchang@racket-lang.org" #:obfuscate? #t))
@section{Introduction}
(author+email "Ben Greenman" "types@ccs.neu.edu" #:obfuscate? #t))
Turnstile aims to help Racket programmers create typed languages. It does so
with extensions of Racket's macro-definition forms that facilitate
@ -22,9 +20,7 @@ Thus, a complete typed language implementation remains a series of macro
definitions that may be imported and exported in the standard way that Racket
programmers are accustomed to.
@itemlist[
@item[@secref{Guide}]
@item[@secref{Reference}]]
@local-table-of-contents[]
@include-section{guide.scrbl}
@include-section{reference.scrbl}