math

830 readers

7 users here now

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

founded 2 years ago

MODERATORS

mrh

What are some complicated ways to write 1+1? (programming.dev)

submitted 1 year ago by [email protected] to c/math

12 comments fedilink hide all child comments

Kinda like (2/2)+(3/3) but way more complicated

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 1 year ago

(fix add a b := match a with O => b | S x => add x (S b) end) (S O) (S O)

permalink
fedilink
source