Wolfram Cloud
Resource Object
Paclet Resource
Home
Tutorials
Arithmetic Patterns from Small Programs
Measuring Program Evolution
Evolving Lambda Expressions
Evolving Recursor Programs
Checking Recursor with Lean
Halting, Trajectories and Evaluation Budgets
The Recursor Language
Migrating Notebooks to Recursor
Universal Computation with Recursor
From Recursor Programs to Lambda Reductions
Guides
Language
Evaluation
Compilation
Evolution
Visualization
Symbols
Acc
Add
CGet
CheckRecursorProofs
CompileRecursor
Const
CoRec
CrossoverRecursor
EvaluateRecursor
EvolveRecursor
FormatRecursor
Half
Idx
Ifz
InstallRecursorLibraries
Iter
Monus
Mul
MutateRecursor
NormalizeRecursor
ParseRecursor
Pred
RandomRecursor
Rec
RecursorEvolutionPlot
RecursorExamples
RecursorExpressionQ
RecursorFreeVariables
RecursorGenealogyGraph
RecursorLibraries
RecursorNodeCount
RecursorProgramQ
RecursorProgramTree
RecursorSites
Rem
ReplaceRecursorPart
ScoreRecursor
SetupRecursor
SimplifyRecursor
Succ
ToRecursor
Var
WhileLoop
$RecursorGrammar
$RecursorVersion