tag:blogger.com,1999:blog-5195188167565410449.post4672069097854647283..comments2024-01-16T07:18:01.728+00:00Comments on Haskell for Maths: The free vector space on a type, part 1DavidAhttp://www.blogger.com/profile/16359932006803389458noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5195188167565410449.post-89533857238416465262011-04-28T22:24:50.314+01:002011-04-28T22:24:50.314+01:00andrew,
the full code is available on Hackage:
ht...andrew,<br /><br />the full code is available on Hackage:<br />http://hackage.haskell.org/package/HaskellForMaths<br /><br />(However, note that the hackage releases sometimes lag a little behind the blog. Also, note that in the blog I sometimes jump around between several modules, including test modules, with explicitly saying so.)DavidAhttps://www.blogger.com/profile/16359932006803389458noreply@blogger.comtag:blogger.com,1999:blog-5195188167565410449.post-92093400898937577712011-04-27T07:39:52.622+01:002011-04-27T07:39:52.622+01:00Thanks for a very helpful discussion, linking theo...Thanks for a very helpful discussion, linking theory and practice. <br />I was retyping your code - this is a method to rethink the details of your coding style - and found a few places details missing.<br />it would be helpful if you indicate when (and where from) you import other code (e.g. the instance Show for Vect or Q). <br />But in any case: Very stimulating!<br />andrew<br /><br />ps. is there an easy way to print the blogs in chronological order? my web browser presents them in reverse order, which makes reading awkwards.andrewhttps://www.blogger.com/profile/13523388019288223636noreply@blogger.com