skills.homes logoskills.homescapability registry
home/categories/philosophy-ethics/plurigrid-asi-skills-ordered-locale-proper-skill-md
cd ..
philosophy-ethicslifestyle

ordered-locale

Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.

Ver código-fontephilosophy-ethics
plurigrid
maintainer
plurigrid
Atualizado 1/27/2026
Estrelas
16
Forks
5
quick start

Installation and usage

Ordered Locales (Heunen-van der Schaaf 2024): Point-free topology with direction. Frame + compatible preorder with open cone conditions.

Instalação
$ install --globalskills.sh
Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use ordered-locale