Skip to content

Commit 6e95bbb

Browse files
hyperpolymathhyperpolymath
authored
Merge branch 'main' into session/epi-mono-consumer
2 parents fda9f09 + edee084 commit 6e95bbb

276 files changed

Lines changed: 812 additions & 27 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎CHANGELOG.md‎

Lines changed: 2 additions & 0 deletions

‎CITATION.cff‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
# SPDX-License-Identifier: CC-BY-4.0
2+
# SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
13
cff-version: 1.2.0
24
title: "echo-types: a definitionally-grounded, loss-graded reindexing modality (Agda)"
35
message: "If you cite this software, please cite the Zenodo DOI."

‎CLAUDE.md‎

Lines changed: 2 additions & 0 deletions

‎CODE_OF_CONDUCT.md‎

Lines changed: 2 additions & 0 deletions

‎CONTRIBUTING.md‎

Lines changed: 5 additions & 2 deletions

‎DOCUMENTATION_STATUS.md‎

Lines changed: 2 additions & 0 deletions

‎EXPLAINME.adoc‎

Lines changed: 3 additions & 1 deletion

‎INDEX.adoc‎

Lines changed: 2 additions & 0 deletions

‎Justfile‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
13
# Echo Types Build and Test System
24

35
# Build all echo type modules

‎QUICKSTART-DEV.adoc‎

Lines changed: 1 addition & 1 deletion

0 commit comments

Comments
 (0)