Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.devcontainer		.devcontainer
.github		.github
.machine_readable		.machine_readable
.well-known		.well-known
container		container
docs		docs
examples		examples
features		features
src		src
verification		verification
.editorconfig		.editorconfig
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.guix-channel		.guix-channel
.tool-versions		.tool-versions
0-AI-MANIFEST.a2ml		0-AI-MANIFEST.a2ml
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.adoc		CONTRIBUTING.adoc
Containerfile		Containerfile
Justfile		Justfile
LICENSE		LICENSE
LICENSE-MPL-2.0		LICENSE-MPL-2.0
README.adoc		README.adoc
ROADMAP.adoc		ROADMAP.adoc
SECURITY.md		SECURITY.md
Setup.hs		Setup.hs
contractile.just		contractile.just
flake.nix		flake.nix
guix.scm		guix.scm
k9-haskell.cabal		k9-haskell.cabal