tag:blogger.com,1999:blog-11295132.post6550716211953466047..comments2024-02-24T01:46:31.188-08:00Comments on A Neighborhood of Infinity: Generalising Gödel's Theorem with Multiple Worlds. Part II.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-11295132.post-53143589394712535082010-12-24T11:13:25.741-08:002010-12-24T11:13:25.741-08:00Derek,
I completely forgot that there were alread...Derek,<br /><br />I completely forgot that there were already some methods for this stuff! I'll update the code as soon as I get a chance.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1825935309676392932010-12-24T10:54:41.624-08:002010-12-24T10:54:41.624-08:00Cripes, implement showsPrec. Your code will pretti...Cripes, implement showsPrec. Your code will prettier and more efficient and you won't need to write paren (see showParen.)Derek Elkinsnoreply@blogger.com