Re: [Haskell-cafe] ANNOUNCE: haskell-names-0.1

2013-06-25 Thread Erik Hesselink
Tom Lokhorst and myself worked on a tool to generate missing imports, both qualified and unqualified, at the Odessa hackathon. We created a working proof of concept [0]. I wasn't aware of fix-imports. Erik [0] https://github.com/haskell-suite/halberd On Tue, Jun 25, 2013 at 6:30 AM, Evan Laforge

Re: [Haskell-cafe] tangential request...

2013-06-25 Thread Felipe Almeida Lessa
On Mon, Jun 24, 2013 at 11:32 PM, Mark Lentczner wrote: > (apologies for keeping this tangential topic alive for so long... but it is > the cafe... and it is all for a good Haskell related cause...) ... > Ah, the indomitable Mr. Parker, we meet again! While the other "console" > fonts were nothin

[Haskell-cafe] ANN: HaTeX 3.6. Now with Babel, TikZ and more!

2013-06-25 Thread Daniel Díaz Casanueva
Hello everyone! It is time for a new release of HaTeX, the Haskell LaTeX library. http://hackage.haskell.org/package/HaTeX-3.6 == What is HaTeX? == HaTeX contains numerous types and functions that will assist you in the process of creating a LaTeX document within Haskell. You can also include y

Re: [Haskell-cafe] ANNOUNCE: haskell-names-0.1

2013-06-25 Thread Evan Laforge
Yeah, no one seems to know about it, which is surprising to me. I've been using it for over 2 years and I'd never want to go back. I guess most people don't mind maintaining import lists, my guess is that few people work on large projects, so they never see a long import list. On Mon, Jun 24, 20

Re: [Haskell-cafe] Roman Numeral Problem

2013-06-25 Thread kusimari share
Coincidence. I blogged about this today http://kusimari.blogspot.in/2013/06/roman-numerals-using-parser-combinators.html. I can share the haskelish python code offline, assuming this is not needed to pass the thoughtworks code submission. It more or less resembles what Richard has written. -Santh

[Haskell-cafe] homotopy type theory for amateurs

2013-06-25 Thread Ben
hello cafe -- by now i'm sure you have heard that the homotopy type theory folks have just written up a free introductory book on their project. http://homotopytypetheory.org/2013/06/20/the-hott-book/ gabriel gonzalez and i are starting up a small reading group for the book. the level of stud

Re: [Haskell-cafe] writing a function to make a correspondance between type-level integers and value-level integers

2013-06-25 Thread TP
Thanks Oleg, I have discovered geometric algebra some months ago. There is a textbook on the topic: http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470941634.html It seems very interesting, but I have not currently the time to make a detailed comparison with vector/tensor algebra. Moreover

[Haskell-cafe] Geometric Algebra [Was: writing a function to make a correspondance between type-level integers and value-level integers]

2013-06-25 Thread oleg
> It seems very interesting, but I have not currently the time to make a > detailed comparison with vector/tensor algebra. Moreover I have not I would suggest the freely available Oersted Medal Lecture 2002 by David Hestenes http://geocalc.clas.asu.edu/pdf/OerstedMedalLe