# Pull from FloxHub
flox pull bmorphism/effective-topos

# Activate
flox activate -d ~/.topos

# Access man pages
man gh
man cargo
man opam

# Access info docs (in Emacs)
C-h i  # then select manual

emacs.info     - GNU Emacs Manual (60K lines)
elisp.info     - Emacs Lisp Reference (106K lines)
eintr.info     - Introduction to Emacs Lisp
efaq.info      - Emacs FAQ

guile.info     - GNU Guile Reference (67K lines)
r5rs.info      - Scheme R5RS Standard
goblins.info   - Spritely Goblins (Distributed Objects)
hoot.info      - Guile Hoot (Scheme→Wasm)
fibers.info    - Guile Fibers (Concurrent ML)
gnutls-guile.info - GnuTLS bindings
guile-gcrypt.info - Cryptography

org.info       - Org Mode Manual (25K lines)
remember.info  - Remember Mode
todo-mode.info - TODO lists

eglot.info     - LSP client (2K lines)
transient.info - Transient commands (3.3K lines)
use-package.info - Package configuration (2.5K lines)
ert.info       - Emacs Lisp Testing
flymake.info   - On-the-fly syntax checking

autoconf.info  - Autoconf
libtool.info   - Libtool
m4.info        - M4 macro processor
standards.info - GNU Coding Standards

gnus.info      - News/Mail reader
message.info   - Mail composition
erc.info       - IRC client
tramp.info     - Remote file editing

Goblins is a distributed object programming environment featuring:

• Quasi-functional object system: objects are procedures that
  "become" new versions when handling invocations

• Fully distributed, networked, secure p2p communication via
  OCapN (Object Capability Network) and CapTP

• Transactional updates: changes happen within transactions;
  unhandled exceptions cause rollback

• Time travel: snapshot old revisions and interact with them

• Asynchronous programming with sophisticated promise chaining

(peer (vat (actormap {refr: object-behavior})))

• Peers: CapTP endpoints on network (OS processes)
• Vats: Communicating event loops
• Actormaps: Transactional heaps
• References → Object Behavior mappings

($  obj method args...)   ; Synchronous (near objects only)
(<- obj method args...)   ; Asynchronous (near or far)

Guile Hoot compiles Scheme to WebAssembly, enabling:

• Run Scheme in browsers and Wasm runtimes
• Full Scheme semantics (tail calls, continuations)
• Integration with JavaScript
• Standalone Wasm modules

using Gay

# Color the effective-topos packages
packages = [
    # Trit 0: Lisp/Scheme
    "guile", "racket-minimal", "emacs-nox", "guile-goblins", "guile-hoot",
    # Trit 1: ML/Functional  
    "ghc", "cabal-install", "ocaml", "opam", "agda",
    # Trit 2: Systems/DevOps
    "cargo", "gh", "tmux", "radare2", "just", "go"
]

for (i, pkg) in enumerate(packages)
    trit = (i - 1) % 3  # GF(3) assignment
    color = Gay.color_at(i, seed=69)
    println("[$trit] $pkg: $(color.hex)")
end

# Interleave Lisp, ML, Systems tools
schedule = Gay.interleave(
    [:guile, :racket, :emacs],      # Trit 0
    [:ghc, :ocaml, :agda],          # Trit 1
    [:cargo, :gh, :tmux],           # Trit 2
    seed=69
)
# => [:guile, :ghc, :cargo, :racket, :ocaml, :gh, :emacs, :agda, :tmux]

gh <command> <subcommand> [flags]

CORE: auth, browse, codespace, gist, issue, org, pr, project, release, repo
ACTIONS: cache, run, workflow  
ADDITIONAL: api, extension, search, secret

cargo <command> [args]

BUILD: bench, build, check, clean, doc, fetch, fix, run, rustc, test
MANIFEST: add, remove, tree, update
PACKAGE: init, new, install, publish, search

opam <command> [args]

install, remove, upgrade, update, switch
list, show, pin, env, exec
repository, config, tree, lock, lint

guile [options] [script [args]]

-L <dir>    Add to load path
-l <file>   Load source file
-e <func>   Apply function to args
-c <expr>   Evaluate expression
-s <script> Execute script

KEY BINDINGS (prefix: C-b):
d     Detach session
c     Create window
n/p   Next/prev window
%     Split vertical
"     Split horizontal
z     Toggle zoom
[     Copy mode

radare2 [options] <file>

-a <arch>  Force architecture
-A         Analyze all (aaa)
-c <cmd>   Execute command
-d         Debugger mode
-n         No analysis

;; Open info browser
C-h i

;; Jump to specific manual
C-h i m guile RET
C-h i m elisp RET
C-h i m goblins RET

;; Search within info
C-h i s <search-term>

;; Info commands
n     Next node
p     Previous node
u     Up
l     Last visited
m     Menu item
g     Go to node
s     Search
q     Quit

FLOX_ENV="/Users/bob/.topos/.flox/run/aarch64-darwin.effective-topos.dev"
PATH="$FLOX_ENV/bin:$PATH"
MANPATH="$FLOX_ENV/share/man:$MANPATH"
INFOPATH="$FLOX_ENV/share/info:$INFOPATH"
SSL_CERT_FILE="$FLOX_ENV/etc/ssl/certs/ca-bundle.crt"