prog

The Forced Indentation Of Code

209 2022-10-23 14:40: so you are invited to defend your statement that you've already managed to "represent an arbitrary complex number" and have it "built up from pure λ-terms"

My bad, I meant an *algebraic* complex number.
267: VIP:

do not edit these