Changed my name :)
This commit is contained in:
parent
22f9c45115
commit
f754518682
2
info.rkt
2
info.rkt
|
@ -23,4 +23,4 @@
|
|||
("scribblings/type-expander-implementation.scrbl" (multi-page) ("typed-racket"))))
|
||||
(define pkg-desc "Description Here")
|
||||
(define version "1.0")
|
||||
(define pkg-authors '(|Georges Dupéron|))
|
||||
(define pkg-authors '(|Suzanne Soy|))
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
#lang scribble/manual
|
||||
|
||||
@title{Type expander: Implementation}
|
||||
@author[@author+email["Georges Dupéron" "georges.duperon@gmail.com"]]
|
||||
@author[@author+email["Suzanne Soy" "racket@suzanne.soy"]]
|
||||
|
||||
This library is implemented using literate programming. The implementation
|
||||
details are presented in the following sections. The user documentation is in
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
#lang scribble/manual
|
||||
|
||||
@title{Type expander library}
|
||||
@author{@author+email["Georges Dupéron" "georges.duperon@gmail.com"]}
|
||||
@author{@author+email["Suzanne Soy" "racket@suzanne.soy"]}
|
||||
|
||||
@defmodule[type-expander
|
||||
#:use-sources [(lib "type-expander/type-expander.hl.rkt")
|
||||
|
|
Loading…
Reference in New Issue
Block a user