| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| 1/ | H | 06-Nov-2021 | - | 1,840 | 1,559 | |
| 13/ | H | 06-Nov-2021 | - | 1,880 | 1,616 | |
| 14/ | H | 06-Nov-2021 | - | 460 | 399 | |
| 19/ | H | 06-Nov-2021 | - | 1,613 | 1,417 | |
| 29/ | H | 06-Nov-2021 | - | 192 | 158 | |
| 8/ | H | 06-Nov-2021 | - | 25 | 21 | |
| compiled/ | H | 03-May-2022 | - | 16 | 8 | |
| 1.rkt | H A D | 08-Oct-2021 | 80 | 3 | 2 | |
| 13.rkt | H A D | 08-Oct-2021 | 84 | 3 | 2 | |
| 14.rkt | H A D | 08-Oct-2021 | 72 | 3 | 2 | |
| 19.rkt | H A D | 08-Oct-2021 | 85 | 3 | 2 | |
| 29.rkt | H A D | 08-Oct-2021 | 76 | 3 | 2 | |
| 8.rkt | H A D | 08-Oct-2021 | 69 | 3 | 2 | |
| optional.rkt | H A D | 08-Oct-2021 | 6.8 KiB | 169 | 149 | |
| provider.rkt | H A D | 08-Oct-2021 | 2.3 KiB | 54 | 49 |