Commit Graph

6 Commits

Author SHA1 Message Date
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