Sergiu Ivanov
|
ea710882e3
|
typed-compose.scrbl -> manual.scrbl
|
2020-12-27 23:24:17 +01:00 |
|
Sergiu Ivanov
|
a57fbe029f
|
typed-composed.scrbl: Add the author information.
|
2020-12-27 22:10:45 +01:00 |
|
Sergiu Ivanov
|
906bd32f12
|
typed-compose.scrbl: Add the documentation.
|
2020-12-21 21:34:14 +01:00 |
|
Sergiu Ivanov
|
4a6bebf2ee
|
typed-compose.scrbl: Simplify for-label requires.
|
2020-12-21 21:33:54 +01:00 |
|
Sergiu Ivanov
|
24a0611c8e
|
main: Move the first instance of module+ after provide.
|
2020-12-21 21:01:11 +01:00 |
|
Sergiu Ivanov
|
9335e1498e
|
typed-compose.rkt -> main.rkt
Scribble has requiring typed-compose.rkt fol labels (or indeed any
file which is not called main.rkt).
|
2020-12-21 20:57:39 +01:00 |
|
Sergiu Ivanov
|
7d70eafd54
|
Structure tests in named test cases.
|
2020-12-20 20:49:33 +01:00 |
|
Sergiu Ivanov
|
26d7620dc5
|
Add multi-chain.
|
2020-12-20 20:45:29 +01:00 |
|
Sergiu Ivanov
|
00b01b924d
|
Export the definitions.
|
2020-12-18 13:04:07 +01:00 |
|
Sergiu Ivanov
|
03dc7eb0e5
|
Add multi-compose.
|
2020-12-18 12:58:43 +01:00 |
|
Sergiu Ivanov
|
0733e6ab0c
|
Add compose-3 to compose-9.
|
2020-12-18 12:55:06 +01:00 |
|
Sergiu Ivanov
|
40eeb1745b
|
Add compose-n.
|
2020-12-18 11:43:17 +01:00 |
|
Sergiu Ivanov
|
8db577d0ff
|
README: Add a link to The Typed Racket Guide.
|
2020-12-18 11:00:00 +01:00 |
|
Sergiu Ivanov
|
52a3042afd
|
Fully comply with how GPL should be specified.
|
2020-12-17 21:54:12 +01:00 |
|
Sergiu Ivanov
|
1dddc26d8d
|
Fix the dependencies of the package.
The result of raco setup --fix-pkg-deps -l typed-compose
|
2020-12-17 21:21:34 +01:00 |
|
Sergiu Ivanov
|
2ad0b1fba6
|
Add the license.
|
2020-12-17 21:09:31 +01:00 |
|
Sergiu Ivanov
|
2e99c54804
|
Add a README.
|
2020-12-17 20:46:49 +01:00 |
|
Sergiu Ivanov
|
b24bd5e658
|
typed-compose.scrbl: Typo.
|
2020-12-17 20:46:27 +01:00 |
|
Sergiu Ivanov
|
9c76e34142
|
Start the package.
|
2020-12-17 20:45:26 +01:00 |
|