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
|
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
|
52a3042afd
|
Fully comply with how GPL should be specified.
|
2020-12-17 21:54:12 +01:00 |
|
Sergiu Ivanov
|
2ad0b1fba6
|
Add the license.
|
2020-12-17 21:09:31 +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 |