A busybox style suite of tools providing repls on various cultures throughout mathematics and computing that did not previous support interactive development. Provides one command per culture listed below, each a single character greek letter. --- # The /etc/groups ## α: Algebra TODO: Give 1 a repl on group theory, ring theory, and field theory. Give examples and do one simple proof. ## β: Unassigned echo "It's not polite to call a group the betas." ## γ: Geometry TODO: Differential Geometry repl. 1 learns how tensors and covariant derivatives work. ## δ: Calculus ## ε: Analysis 0 says this mostly doesn't execute. 1 says wait I thought this was just rigorous calculus. 0 says it is. 1 says well there were all sorts of computations up there! 0 says yeah but not down here. 1 says do they realize they broke it? 0 says broke what? 1 says the field they forked and made worse? ## ζ: Number theory ## η: The Catedral "How do I draw those diagrams in a repl?" ## θ: Topology and Homotopy ## ι: Hardware HDL from Nissan & Shocken. ## κ: Kernel BPF? ## λ: The lambdas Easy! ## Λ: The Big Lambda We'll have done this in lost+found. ## μ: The mus Actually exists lol. ## ν: Artificial Intelligence Also exists. ## νega: Finance This is just the money app. ## Ξ: ??? The @ command with @(){} and pipes! Here we learn the writing is due to The Authors. They come down from kernel space and show us how to use the @ syntax. ## ο: The little omicrons No. ## Ο: The big Omicrons Hmm... ## Π: The Pis ## Ϻ: The Misunderstood (The Sans) The Constructivists! The only field that automatically generates code from proofs. 1 is instantly radicalized and converted. ## Ϙ: ??? ## ρ: "The Rows" No thank you. ## Σ: Reverse Mathematics Start with BW iff ACA0 and try to see what a repl would be. ## τ: Topos Theory ## Υ / υ: The Fork ## φ: Physics Do some basic quantum stuff for spin ½, there's already probably a repl for this. ## χ: Statistics and probability Do Jaynes. ## ψ: Scientific computing These guys don't know how to do anything outside a repl. No need to explain. ## ω: The little omegas Set Theory Model theory Proof theory. ## Ω: The Big Omegas Large Cardinals. The ultimate repl. Likely impossible. Make an attempt.