You can just type in `rfl` to assert that `37 = 37` (or anything of the form `X ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sn9 on Dec 17, 2024 \| parent \| context \| favorite \| on: Natural Number Game: build the basic theory of the... You can just type in `rfl` to assert that `37 = 37` (or anything of the form `X = X`).

hammock on Dec 18, 2024 [–]

I typed in rfl and hit execute and nothing happened (it added a line above but did not say I solved anything)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact