tag:blogger.com,1999:blog-11295132.post6014523726720336170..comments2024-02-24T01:46:31.188-08:00Comments on A Neighborhood of Infinity: Independence, entanglement and decoherence with the quantum monadsigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-11295132.post-341906704748594322010-06-12T06:17:53.594-07:002010-06-12T06:17:53.594-07:00small typo:
> e' <- e `xor` s
should b...small typo:<br />> e' <- e `xor` s<br />should be<br />> e' <- return $ e `xor` sAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-85250182463944846992007-03-14T12:39:00.000-07:002007-03-14T12:39:00.000-07:00That's a brilliant solution to the foolishness tha...That's a brilliant solution to the foolishness that is Num being a ring with valuation -- just apply the forgetful functor!<BR/><BR/>Why didn't I think of that?Nick Bornakhttps://www.blogger.com/profile/16896645842063632808noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-84124707184028749632007-03-14T10:50:00.000-07:002007-03-14T10:50:00.000-07:00Great post! Now I just need to load all this code ...Great post! Now I just need to load all this code in to an interpreter and mess around until I really understand it.<BR/><BR/>Once again, many thanks for the cool articles.Anonymousnoreply@blogger.com