SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-c5ebd8d8-8dbd-4627-ac1c-e6bf11a92434
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-6.1.0
Created: 2026-06-20T23:16:52Z
CreatorComment: This document was created automatically using available reuse information consistent with REUSE.
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1fc5451e83d1cf2461533e07795df2f4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-190007dfcff9b3c7971f8da178a1da6b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-afd98b508a5264e6d1774165f249827d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1be4b8da72f5e9077a2a0c87873d9658
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e651707604cdaddb08ed539ee49d47f6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-59562e3740748a5bbe5344c5c847ff0b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2e29faf98a3aea9e3f6f29b1e4b2f047
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f4c1f9b019847e4fe95b8f561ae1e679
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b464e008bcc44b460228dc8b9a53df30
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-deeb36e845efdbd580f97493de75a3dd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2b82fc368c7a83aeb4385de98b882432
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-332e57cc7333371da9c395d61348e1c7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1bd3a683a2c16c3462ca81bb4dab91f4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dd0780ab712d1dd18914dd6e4649be09
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-43e202c29ec63fc49da9d45c97029cb3
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6f1900da13d3f1e2142099d7b16514b5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7687c9e015378ed08b3c9abc05b4bf7e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-51b8c26b4334a555266414549584f50e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-68afb493076d7df5da7e13453342c1cf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-17b71643fcffc57bed19a5a87a5701cd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-53345aa30bafbde3bbd1b9e28ad1ccd4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3d17cb8bb79713eab2880038f332ae54
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6076557dbefd827aa21cbc5984dd1fe6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2ca16ece2e80773e4f035e9c08704c34
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bde5cf6ad1dc74f0cac1b03dfcf7f7bb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2c369b317a11fbe0c8cff331a0cb3002
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1b3d022007b6dde6aabd53e8aace9ba7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-cfa1363fa1d7fdbc06aa4d94e2839ee6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ee1cbb7f359e050d9a8d5787f13c54f8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-eef7707f982fdd9630fba23795d794fa
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bec1354a971d94ad4dcebe744011a0ab
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-171e5ad0db7be97bb897b0f639d3b624
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f447d4e6419378dfd2d55dc6a1c882a5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d7c6ed24d71fffb761a553ab3771f30b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ca6c3f0acceb91524691c98f226f3c00
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5ca1c4a67a79c0016e8e7eefeaee975d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e97b91d37d9898dad2527a5e331c03b0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2a7cdd46bda0b8ac6f4adeee7d673183
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bceb435dd409994b6005e79158ed1a4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8e5c0495bdca0dd45b0772586ee7a03d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8e752f27a1c8a60bc55ad664f4414125
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bc5af47e09c264540b4bd4475ffda163
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-202afaec48b8dc067cbf4bbe911b528d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b9314cff8603c9c319d0cc0d30602fd6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d8e089368f2e7749d853bb733e808a43
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fdb1998b940b0c9d181fb6625c65690c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-294bc98ce595edb9b2010d885274da14
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fcb1145d3f5337efe4272ef6624d6184
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-136f889218e2b748623baa8ef776dbfb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4d0080b3f9666de7a6ea2ac59efb38a4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bb1f4974d27a62e9109395e4b531fb99
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9c7b039b30e6bdab3554e2564018a227
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e828259d44b46badff136374c23c0e19
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-27cc0a09d43b5dd43b4af6e3fe389923
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d5a7d5b79b64e1cd961cede0858a9cd6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6bc287326963f4ba80e820b59eed2ca2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-18606afd78b246a8c551aaaf1a4c3f3a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c45f4c4e8a945c33072828a45d230ef8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-edb5bdaecd7bd454462d852747e7d78f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e702d6752399e0cfe73e69678b4bd709
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-03aefe0661dfe4d14c72e6999d1373bf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2a1d2da704d333a16d78de4b2db44d8e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8004a5e6ca7ffb668cd3c27609bad4e6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ee665d087be1d136efafefc4d80277c0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-473f51fca0de9bdfdc4a827fd9a39d42
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-603351adaf6b87cb7b8cd00e837f120e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6132075f5162ba118787ccbbe66f827d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-481dd4beb694f55f8caa7eabdf3da81d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b00f1a48af9aee5be243b517254073d4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7b0ce35d28ce603f3ab407fed93af399
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-41da557ec75b158fa3278ca27f2c1fc0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-40d946d5c810b9ea9b2af5c8275c3b90
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-89236bacae816c53b5d5d40163c0ea2a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e7c546e00b3c86279d3c27370593594f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dd4f11ce4e0d2adf4c7147b48368b269
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-59e8637dc4edbd6ec1491907caadb895
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3e78cc2a088773c18651648bcd4cc6ce
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0fa63b1f0d52c3872eba016b52f9677a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7c9540999d08fc6d2308fdb1e253fa4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1c847c431a8fdef89f60be78b088d680
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0ccc3968925fe946fa91a3b92f220ec4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-51055f9409314316f6892c8f658fe56b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-df52f7d0004464af152188b6811aaff8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-de8aec6cc08404bdc9d1bb6d99f4c7c1
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bb2132d26687aa2d5a23bf47e60cd10e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1437ea3bd60d5ca9623c300f5f4395a4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-931ba82c03848b6657cf3b3d0ddd77c5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dbd3421f2573cc39da1195eabed71e6b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e5c05a6dfa5a33cc60aed8865a1be2a6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-44e13d0dc30c0e5beff68056373a19dd
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-52b03fbdba1799d4ecb1f7826267ee71
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1a4fea59afc52c6bac33ca3f71665521
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5cdf44e6ed470323d19f48b63b0a353e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c13aed45de184b16e7dc416d37530159
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c1559f37d8e69ff9bef16062c295233d
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7615d0feb2fd05204e080ea63fcffdc6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9be42a1ee5d9aa180801bce515688882
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ae8956f85e209bae96b0557f4271fbd0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d07e50ca2944eaed3df0801db855119b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2839c70f934c4b5fa3efd71fb8aaf112
FileName: ./.github/workflows/README.md
SPDXID: SPDXRef-1fc5451e83d1cf2461533e07795df2f4
FileChecksum: SHA1: 09d4beeac7c2a8705f7b7214682b8e251650ff4f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./.github/workflows/cloudflare.yml
SPDXID: SPDXRef-190007dfcff9b3c7971f8da178a1da6b
FileChecksum: SHA1: 1a9b47f01435dcf4b7b9d916cd1fee384dd6af93
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./.github/workflows/pages.yml
SPDXID: SPDXRef-afd98b508a5264e6d1774165f249827d
FileChecksum: SHA1: 5faed0c44421ae8a0e48d8bef5db2b067716e59c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./.github/workflows/typecheck.yml
SPDXID: SPDXRef-1be4b8da72f5e9077a2a0c87873d9658
FileChecksum: SHA1: 1956332ee98538b76c5afe81494fbe79b3f12732
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./.gitignore
SPDXID: SPDXRef-e651707604cdaddb08ed539ee49d47f6
FileChecksum: SHA1: 64b2177cf5e72ba5695afba03fd457f40fdb9ad3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./AGENTS.md
SPDXID: SPDXRef-59562e3740748a5bbe5344c5c847ff0b
FileChecksum: SHA1: 891d2707ba6770b9c66152038a224d83315c9af8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./CITATION.bib
SPDXID: SPDXRef-2e29faf98a3aea9e3f6f29b1e4b2f047
FileChecksum: SHA1: e8eff3e090bbbf4e793655428e7c24b3e53b6f9b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./CLAUDE.md
SPDXID: SPDXRef-f4c1f9b019847e4fe95b8f561ae1e679
FileChecksum: SHA1: f3a1c4dd0ffa2c709d9e8cf46e375f0c2320c8be
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./CONTRIBUTING.md
SPDXID: SPDXRef-b464e008bcc44b460228dc8b9a53df30
FileChecksum: SHA1: 3c09056858d77bf853cbabd26c39e2ee690c53fa
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./COPYRIGHT
SPDXID: SPDXRef-deeb36e845efdbd580f97493de75a3dd
FileChecksum: SHA1: 31d7b1e331e6b72ea7f9d2b262bfcdcb47e38d32
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: Copyright (C) 2021 Amelia Liao and contributors; the catch-all default folds it in).
Copyright (C) 2026 choukh (choukyuhei@gmail.com)
SPDX-FileCopyrightText: 2026 choukh
FileName: ./Makefile
SPDXID: SPDXRef-2b82fc368c7a83aeb4385de98b882432
FileChecksum: SHA1: 97e57e9ad27c6720b6d26f46e0bce8c1156d5734
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./NOTICE
SPDXID: SPDXRef-332e57cc7333371da9c395d61348e1c7
FileChecksum: SHA1: 3ef9303adce73fca5578fd7249780473d0cd9602
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: Copyright (C) 2021 Amelia Liao and contributors
Copyright (C) 2026 choukh (choukyuhei@gmail.com)
SPDX-FileCopyrightText: 2026 choukh
FileName: ./README.md
SPDXID: SPDXRef-1bd3a683a2c16c3462ca81bb4dab91f4
FileChecksum: SHA1: 6b35a0db48de00f5a5cbd4421956b9098e6cd44a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./bedrock.agda-lib
SPDXID: SPDXRef-dd0780ab712d1dd18914dd6e4649be09
FileChecksum: SHA1: da6337d689da71b018ce46c3470e0fcaa51cd840
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./dev/GLOSSARY.md
SPDXID: SPDXRef-43e202c29ec63fc49da9d45c97029cb3
FileChecksum: SHA1: 4a03f4312bdbb6420d3512bfca41e9cdc03fb2d3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./dev/README.md
SPDXID: SPDXRef-6f1900da13d3f1e2142099d7b16514b5
FileChecksum: SHA1: 94910501955e080d17dcdac14a8bffb56b6064db
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./dev/STYLE-i18n.md
SPDXID: SPDXRef-7687c9e015378ed08b3c9abc05b4bf7e
FileChecksum: SHA1: 9c2b3d8c627e4de1d9d5a3f4633cd29ec916107a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./dev/glossary.toml
SPDXID: SPDXRef-51b8c26b4334a555266414549584f50e
FileChecksum: SHA1: bd17098ccdfa34bfa63f3cfb3d532b9bb89c25c4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/README.md
SPDXID: SPDXRef-68afb493076d7df5da7e13453342c1cf
FileChecksum: SHA1: c08dfe45d2284613a3c1478913ae58d811b29ee2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/en/CHARTER.md
SPDXID: SPDXRef-17b71643fcffc57bed19a5a87a5701cd
FileChecksum: SHA1: 0664e0b0d58951c8dc0e00105a781bb11ee9175b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/ja/CHARTER.md
SPDXID: SPDXRef-53345aa30bafbde3bbd1b9e28ad1ccd4
FileChecksum: SHA1: ec0d2a4c6bb6509aa44c80845c056077e5fa874c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/ja/README.md
SPDXID: SPDXRef-3d17cb8bb79713eab2880038f332ae54
FileChecksum: SHA1: 1f48390df7cf4f77a831da75aea24d06a3eaf9a5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/zh/CHARTER.md
SPDXID: SPDXRef-6076557dbefd827aa21cbc5984dd1fe6
FileChecksum: SHA1: 68b9ddc15b4af9622deef4d5d9c38e08dcb1b571
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./docs/zh/README.md
SPDXID: SPDXRef-2ca16ece2e80773e4f035e9c08704c34
FileChecksum: SHA1: 2f19417ba00451d876b64893cfd6521f916c5a69
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./requirements-dev.txt
SPDXID: SPDXRef-bde5cf6ad1dc74f0cac1b03dfcf7f7bb
FileChecksum: SHA1: a4c15685c121d342c1a5323305910dd167fad864
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/README.md
SPDXID: SPDXRef-2c369b317a11fbe0c8cff331a0cb3002
FileChecksum: SHA1: 072ebeeb2bb6e099c98cc7a3ccf61e9291b7f8a2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/check-glossary.py
SPDXID: SPDXRef-1b3d022007b6dde6aabd53e8aace9ba7
FileChecksum: SHA1: 86b2b3dcc13de72c0d0530fbbf0886a2f1245bd3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/extract-types.py
SPDXID: SPDXRef-cfa1363fa1d7fdbc06aa4d94e2839ee6
FileChecksum: SHA1: 4f12c7860364e223e717399a1e26d3711de147a2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/git-hooks/pre-commit
SPDXID: SPDXRef-ee1cbb7f359e050d9a8d5787f13c54f8
FileChecksum: SHA1: feb1049ac71a2184fc9b9b6a895708f4deede67b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/i18n_markers.py
SPDXID: SPDXRef-eef7707f982fdd9630fba23795d794fa
FileChecksum: SHA1: 57a9c2324e7a5c99d44e69cd720e4e93fd3976ba
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/link-check.py
SPDXID: SPDXRef-bec1354a971d94ad4dcebe744011a0ab
FileChecksum: SHA1: 08dfaefb51c432e724f2bd0a12864b83ef81c42f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/lint-prose.py
SPDXID: SPDXRef-171e5ad0db7be97bb897b0f639d3b624
FileChecksum: SHA1: 917ec1b0d731313b95e4937c2570bae9d0433f39
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/render-site.py
SPDXID: SPDXRef-f447d4e6419378dfd2d55dc6a1c882a5
FileChecksum: SHA1: 46dcaabe6552fc2c61bf6ba7773668be3718a9a3
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: © 2026 choukh (choukyuhei@gmail.com) · {s["license"]} · {source}'
SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/tests/test_glossary.py
SPDXID: SPDXRef-d7c6ed24d71fffb761a553ab3771f30b
FileChecksum: SHA1: 84679fbf9676d6e3eaf043e4896608e167f44e60
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/tests/test_i18n.py
SPDXID: SPDXRef-ca6c3f0acceb91524691c98f226f3c00
FileChecksum: SHA1: ba0d61f76c92dde954d19bfacb2999ed5143aa84
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./scripts/weave-i18n.py
SPDXID: SPDXRef-5ca1c4a67a79c0016e8e7eefeaee975d
FileChecksum: SHA1: a6a362bad749a385033535580f362328fd7183e5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/README.md
SPDXID: SPDXRef-e97b91d37d9898dad2527a5e331c03b0
FileChecksum: SHA1: bc86f2c0d9526479fbf02fc6185197c4106b2c86
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/assets/banner.png
SPDXID: SPDXRef-2a7cdd46bda0b8ac6f4adeee7d673183
FileChecksum: SHA1: eab048b7c1e60696973cd0fe82dec79af8913cc0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/assets/brand.svg
SPDXID: SPDXRef-bceb435dd409994b6005e79158ed1a4f
FileChecksum: SHA1: 8dac41a74f3281dec74659e09973b56207d38187
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/assets/favicon.svg
SPDXID: SPDXRef-8e5c0495bdca0dd45b0772586ee7a03d
FileChecksum: SHA1: 0858ecde396b6666ef0487561c71bcd707f4b1bd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/bedrock.css
SPDXID: SPDXRef-8e752f27a1c8a60bc55ad664f4414125
FileChecksum: SHA1: 7a3d3311de50e7a4ca01e4b10537796617d0b92d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/bedrock.js
SPDXID: SPDXRef-bc5af47e09c264540b4bd4475ffda163
FileChecksum: SHA1: 983546073b3ebe34a9f6c57195621c5ad05e27cc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/static/fonts/JuliaMono-Bold.woff2
SPDXID: SPDXRef-202afaec48b8dc067cbf4bbe911b528d
FileChecksum: SHA1: a1618dd8969e97cb6198b9bdb14aaa25463dae25
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2020-2023 cormullion
FileName: ./site/static/fonts/JuliaMono-Regular.woff2
SPDXID: SPDXRef-b9314cff8603c9c319d0cc0d30602fd6
FileChecksum: SHA1: 600423183b2d9014ee6f5805a42b54ccd6af71f4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2020-2023 cormullion
FileName: ./site/static/fonts/eb-garamond-latin-400-italic.woff2
SPDXID: SPDXRef-d8e089368f2e7749d853bb733e808a43
FileChecksum: SHA1: 949b7bc18fcd3c93bbd9edb4b5820172b7b230b2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2010-2013 Georg Duffner
FileName: ./site/static/fonts/eb-garamond-latin-400-normal.woff2
SPDXID: SPDXRef-fdb1998b940b0c9d181fb6625c65690c
FileChecksum: SHA1: 41bbbb867157d1bbfc896830e03f4225d303c9da
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2010-2013 Georg Duffner
FileName: ./site/static/fonts/eb-garamond-latin-600-normal.woff2
SPDXID: SPDXRef-294bc98ce595edb9b2010d885274da14
FileChecksum: SHA1: d116a867b3d2ca3a4677f7ed97ad5653980d7f5a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2010-2013 Georg Duffner
FileName: ./site/static/fonts/eb-garamond-latin-700-normal.woff2
SPDXID: SPDXRef-fcb1145d3f5337efe4272ef6624d6184
FileChecksum: SHA1: b533c3c384fbdd9b268538fc6a78866741e92b99
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2010-2013 Georg Duffner
FileName: ./site/static/fonts/inria-sans-latin-400-normal.woff2
SPDXID: SPDXRef-136f889218e2b748623baa8ef776dbfb
FileChecksum: SHA1: ce041c1d2fcfac833ed9f4d2c5a7b64056f7bbbd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2017 The Inria Sans Project Authors
FileName: ./site/static/fonts/inria-sans-latin-700-normal.woff2
SPDXID: SPDXRef-4d0080b3f9666de7a6ea2ac59efb38a4
FileChecksum: SHA1: 80978196b47dda48ae4518a04639bef9b0591bed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: OFL-1.1
FileCopyrightText: SPDX-FileCopyrightText: 2017 The Inria Sans Project Authors
FileName: ./site/template.html
SPDXID: SPDXRef-bb1f4974d27a62e9109395e4b531fb99
FileChecksum: SHA1: 52ddf73fd7bf6fd9439b05380475ffbe5c0600d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./site/vendor/1lab/SOURCE_COMMIT
SPDXID: SPDXRef-9c7b039b30e6bdab3554e2564018a227
FileChecksum: SHA1: ce937e18a49f1446789fa496830c7bca346e7f38
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/code.scss
SPDXID: SPDXRef-e828259d44b46badff136374c23c0e19
FileChecksum: SHA1: b8f0d5c20a8b09d9923564fb843e9dbfcb7c1db7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/colors.scss
SPDXID: SPDXRef-27cc0a09d43b5dd43b4af6e3fe389923
FileChecksum: SHA1: b083ea16c09de999bb2daabcfd675af8557a6908
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/comments.scss
SPDXID: SPDXRef-d5a7d5b79b64e1cd961cede0858a9cd6
FileChecksum: SHA1: 60df12b1c578505b6ae99969f6f1baa553e8479e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/commit.scss
SPDXID: SPDXRef-6bc287326963f4ba80e820b59eed2ca2
FileChecksum: SHA1: 5da33181acc4c2d8d6a0a82305724440ae3fb46d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/controls.scss
SPDXID: SPDXRef-18606afd78b246a8c551aaaf1a4c3f3a
FileChecksum: SHA1: 3cef3e82aaad16f40da277bbaabb7125589fb76b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/modal.scss
SPDXID: SPDXRef-c45f4c4e8a945c33072828a45d230ef8
FileChecksum: SHA1: c3528a2c18ef98baefddd281efdd737eeb1c1dff
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/popup.scss
SPDXID: SPDXRef-edb5bdaecd7bd454462d852747e7d78f
FileChecksum: SHA1: acd33aee7641f984b79ffd3a5415c1e881ead59e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/search.scss
SPDXID: SPDXRef-e702d6752399e0cfe73e69678b4bd709
FileChecksum: SHA1: c2ee58b1de92a4731cf69cf77f2bc7c8d7cf8207
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/sidenotes.scss
SPDXID: SPDXRef-03aefe0661dfe4d14c72e6999d1373bf
FileChecksum: SHA1: 510923c86e457e7d5bfcac4557bff6a95cbfda8a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/components/toc.scss
SPDXID: SPDXRef-2a1d2da704d333a16d78de4b2db44d8e
FileChecksum: SHA1: 6f79fbd42ee8936598b3b0d336254a0335725d23
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/default.scss
SPDXID: SPDXRef-8004a5e6ca7ffb668cd3c27609bad4e6
FileChecksum: SHA1: ce3c248043cc75380694f89418097c320b87763b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/mixins.scss
SPDXID: SPDXRef-ee665d087be1d136efafefc4d80277c0
FileChecksum: SHA1: 7d8ae6aac2fd1d33f5b8d44a9348920a3f9966e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/talk.scss
SPDXID: SPDXRef-473f51fca0de9bdfdc4a827fd9a39d42
FileChecksum: SHA1: 7658965e15bd7cd10a491ab816ed046606924694
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/theme.scss
SPDXID: SPDXRef-603351adaf6b87cb7b8cd00e837f120e
FileChecksum: SHA1: 3be221bbea048538683d2499bc95a49a6410148e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/css/vars.scss
SPDXID: SPDXRef-6132075f5162ba118787ccbbe66f827d
FileChecksum: SHA1: a8422d8156a5ffcfef1a89bb6d12bf4fdc48391e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/highlights/note.svg
SPDXID: SPDXRef-481dd4beb694f55f8caa7eabdf3da81d
FileChecksum: SHA1: b7cc69c081fc080a44c0c5fde1498604f9c2b851
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/highlights/source.svg
SPDXID: SPDXRef-b00f1a48af9aee5be243b517254073d4
FileChecksum: SHA1: e4161ffe2dae5636d01eefb6074f42470dfdcc5e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/highlights/terminology.svg
SPDXID: SPDXRef-7b0ce35d28ce603f3ab407fed93af399
FileChecksum: SHA1: 73c2617621089a853204000ea775384efe371b2b
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/highlights/warning.svg
SPDXID: SPDXRef-41da557ec75b158fa3278ca27f2c1fc0
FileChecksum: SHA1: 9e856f2d772435afaafeaacd6f1dce122714ea82
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/highlight-hover.ts
SPDXID: SPDXRef-40d946d5c810b9ea9b2af5c8275c3b90
FileChecksum: SHA1: 4034e92b2f5d23aeafcf05c41fdde8959884dadb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/lib/hover.ts
SPDXID: SPDXRef-89236bacae816c53b5d5d40163c0ea2a
FileChecksum: SHA1: 2ce171be8a4e5a1718585f3fd7d53a3d021d05c9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/lib/jsx.ts
SPDXID: SPDXRef-e7c546e00b3c86279d3c27370593594f
FileChecksum: SHA1: aea34876f062d63729db4731610d4950c7b9ce91
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/lib/settings.tsx
SPDXID: SPDXRef-dd4f11ce4e0d2adf4c7147b48368b269
FileChecksum: SHA1: ca8af36e41b91c8dfa571e87091862131c1f891d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/lib/timeout.ts
SPDXID: SPDXRef-59e8637dc4edbd6ec1491907caadb895
FileChecksum: SHA1: dcf1818d6a8aa81710b4e454bc6d9df3d0db3239
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/search.tsx
SPDXID: SPDXRef-3e78cc2a088773c18651648bcd4cc6ce
FileChecksum: SHA1: f3728dee7bec02e2e5be1bb7fa6e775c978d5513
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/js/theme.tsx
SPDXID: SPDXRef-0fa63b1f0d52c3872eba016b52f9677a
FileChecksum: SHA1: 835a53c24a0bc4a5be6de57f660e80eb7cb7d719
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/cube-128x.png
SPDXID: SPDXRef-7c9540999d08fc6d2308fdb1e253fa4f
FileChecksum: SHA1: 72964d683ad490599268a396ed64994fd7cbdb05
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/cube-32x.png
SPDXID: SPDXRef-1c847c431a8fdef89f60be78b088d680
FileChecksum: SHA1: 8f88987e45453567cc22af6e6b3f008e36e7d739
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/cube-512x.png
SPDXID: SPDXRef-0ccc3968925fe946fa91a3b92f220ec4
FileChecksum: SHA1: bd1f392de2963a0b7e888a4105177bdd3475d7f2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/cube-72x.png
SPDXID: SPDXRef-51055f9409314316f6892c8f658fe56b
FileChecksum: SHA1: 3b9fd8fab8d8911d2de169d42d7a952a028a9749
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/favicon.ico
SPDXID: SPDXRef-df52f7d0004464af152188b6811aaff8
FileChecksum: SHA1: b7219abe7909dc6e2bcda3042a4ac944e0a84173
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/all-pages.svg
SPDXID: SPDXRef-de8aec6cc08404bdc9d1bb6d99f4c7c1
FileChecksum: SHA1: 23c14582da565744b3920c7e3ceb8a8075f18087
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/github.svg
SPDXID: SPDXRef-bb2132d26687aa2d5a23bf47e60cd10e
FileChecksum: SHA1: 91ba3dec6f58ab26476691e768788e829699e3ef
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/home.svg
SPDXID: SPDXRef-1437ea3bd60d5ca9623c300f5f4395a4
FileChecksum: SHA1: fa6c7df3cc8c173de22418a831ecd5ce952ed6d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/justified.svg
SPDXID: SPDXRef-931ba82c03848b6657cf3b3d0ddd77c5
FileChecksum: SHA1: fdc94ac5d89717dff741a9ce87ed773bcd9766af
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/raggedleft.svg
SPDXID: SPDXRef-dbd3421f2573cc39da1195eabed71e6b
FileChecksum: SHA1: 055e8ff33d3b1b7a7113e3931381725eae77b7e2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/raggedright.svg
SPDXID: SPDXRef-e5c05a6dfa5a33cc60aed8865a1be2a6
FileChecksum: SHA1: 33872de70981f7e9a84f73650b27d2b2c23a9174
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/serif.svg
SPDXID: SPDXRef-44e13d0dc30c0e5beff68056373a19dd
FileChecksum: SHA1: f659483c9818eba5cdf81c86323e6d7778cc5bed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/star.svg
SPDXID: SPDXRef-52b03fbdba1799d4ecb1f7826267ee71
FileChecksum: SHA1: 5d0c313ea072ec866c83e345c2b6d2f4abe43f7e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/icons/view-controls.svg
SPDXID: SPDXRef-1a4fea59afc52c6bac33ca3f71665521
FileChecksum: SHA1: e68f9d599158187a68def8a432cdec1b6a2d70ee
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/lies-over-dark.svg
SPDXID: SPDXRef-5cdf44e6ed470323d19f48b63b0a353e
FileChecksum: SHA1: 1f37de7b2b1761546c066b78ce02ba30f2f49e2f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/static/lies-over-light.svg
SPDXID: SPDXRef-c13aed45de184b16e7dc416d37530159
FileChecksum: SHA1: 2df4e7a95cecb89abc4c3df22ef6bcdb678f1e4c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./site/vendor/1lab/template.reference.html
SPDXID: SPDXRef-c1559f37d8e69ff9bef16062c295233d
FileChecksum: SHA1: 588a15da14c7182b505041cdcfdf14f19ce90ead
LicenseConcluded: NOASSERTION
LicenseInfoInFile: AGPL-3.0-only
FileCopyrightText: SPDX-FileCopyrightText: 2021 Amelia Liao and contributors
FileName: ./src/Everything.lagda.md
SPDXID: SPDXRef-7615d0feb2fd05204e080ea63fcffdc6
FileChecksum: SHA1: a0d118c49610f65b07aa263fceaf0a06099c62e9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./src/Example/Doubling.lagda.md
SPDXID: SPDXRef-9be42a1ee5d9aa180801bce515688882
FileChecksum: SHA1: bdfb4612f82bed1b9a21ac4a7f106c55727f13f8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./src/Example/Naturals.lagda.md
SPDXID: SPDXRef-ae8956f85e209bae96b0557f4271fbd0
FileChecksum: SHA1: d7056b6dcd187e68d757eeb38b36e05bb47aaf53
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./src/HelloWorld.lagda.md
SPDXID: SPDXRef-d07e50ca2944eaed3df0801db855119b
FileChecksum: SHA1: 484dff11f8b4c32cc78ffca5e98d30a15eb5abc2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh
FileName: ./src/README.md
SPDXID: SPDXRef-2839c70f934c4b5fa3efd71fb8aaf112
FileChecksum: SHA1: 15cdabda3fd7f8c4eada51f8526f188b3c37a513
LicenseConcluded: NOASSERTION
LicenseInfoInFile: CC-BY-NC-SA-4.0
FileCopyrightText: SPDX-FileCopyrightText: 2026 choukh