Ada Lovelace
1815 – 1852 · Londres · Nota G · 1843
A primeira programadora. Ela viu a máquina como um substrato de símbolos antes de qualquer máquina existir.
C · seed
∘
K · loop?
∘
F · recurse
∘
U · output
= x*
Fold F
recursão / recursion
Sorry A.1
Halting Problem
"The Analytical Engine has no pretensions to originate anything."
— Nota A, 1843 · e por isso ela é universal
AXLE · Gronwall_Closure.lean
0 sorry
AXLE v6.2
GPL-3.0