tag:blogger.com,1999:blog-33803276.post7776023664551243300..comments2023-11-02T12:07:59.900-04:00Comments on The Disparate Notions of a Lowly Mathematician: Peano's Axioms IV: Advanced Functions and IntegersJoe Fredettehttp://www.blogger.com/profile/07170469679136904832noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-33803276.post-67218376767264911992007-07-29T13:38:00.000-04:002007-07-29T13:38:00.000-04:00@augustss Really? Hmm, is there any good spot to l...@augustss<BR/><BR/> Really? Hmm, is there any good spot to learn how to use seq appropriately? In the long run, it works just as well to leave it lazy, so I'll probably just change it to that- but I would like to learn how to use seq.<BR/><BR/>@anon<BR/><BR/> Sorry if you don't like the font much, to be honest- I haven't really had time to mess around with color schemes, the blog is more or less a brain dump for all my crazy projects, if you'd like to submit some better template code for me, I'd be happy to use it.<BR/><BR/><BR/>Anyway, thanks for the comments.<BR/><BR/>~~JoeJoe Fredettehttps://www.blogger.com/profile/07170469679136904832noreply@blogger.comtag:blogger.com,1999:blog-33803276.post-39985799238737244812007-07-29T08:55:00.000-04:002007-07-29T08:55:00.000-04:00your use of small gray font on black is not sadist...your use of small gray font on black is not sadistic enough! Please use 80% black on 100% black background. See if you can make the font any smaller.<BR/><BR/>Make the suckers work for their peanos!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-33803276.post-55798925700861107002007-07-28T19:59:00.000-04:002007-07-28T19:59:00.000-04:00Your use of seq' does absolutely nothing. Using "...Your use of seq' does absolutely nothing. Using "seq x y" when x is in WHNF is the same as just using y.augustsshttps://www.blogger.com/profile/07327620522294658036noreply@blogger.com