ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

Sniffnoy comments on No coinductive datatype of integers

Sniffnoy May 5, 2011, 3:58 AM
0 points
Though with the standard definitions, that requires some form of choice.

Customize appearance

Current theme: default

Less Wrong (text)

Less Wrong (link)

Invert colors

Hi, I’m Bobby the Basilisk! Click on the minimize button (

) to minimize the theme tweaker window, so that you can see what the page looks like with the current tweaked values. (But remember, the changes won’t be saved until you click “OK”!)

Theme tweaker help

Show Bobby the Basilisk