effective-topos
Installation
SKILL.md
effective-topos
FloxHub publication bmorphism/effective-topos - a comprehensive development environment with 606 man pages, 97 Emacs info manuals, and deep integration across Scheme (Guile/Goblins/Hoot), functional languages (OCaml, Haskell, Racket), systems tools (Rust, Go), and Gay.jl deterministic coloring.
Interleaving Index
This skill interconnects:
- Man pages: 606 command-line tool references
- Info manuals: 97 Emacs/Guile/GNU texinfo documents (278K+ lines)
- Gay.jl colors: Deterministic seed-based coloring for all tools
Triadic Tool Categories (GF(3) = {0,1,2})
| Trit | Domain | Tools | Info Manuals |
|---|---|---|---|
| 0 | Lisp/Scheme | guile, racket, emacs, elisp | guile.info, elisp.info, goblins.info, hoot.info, r5rs.info |
| 1 | ML/Functional | ocaml, ghc, cabal, opam, agda | - |
| 2 | Systems/DevOps | cargo, gh, tmux, radare2, just | autoconf.info, libtool.info, m4.info |