[MLton-devel] Re: Question
Matthew Fluet
Matthew Fluet <fluet@CS.Cornell.EDU>
Tue, 23 Jul 2002 15:33:11 -0400 (EDT)
> > BTW, in looking up what my sourceforge settings were, I happened to notice
> > that MLton is #5 on the top downloads today! And ranked #20 over the past
> > 7 days!
> > DLs Previous Rank Rank Change
> > 20 MLton Standard ML Compiler 15869 32 Up 12
> >
> > Now, if only we had 15,000 people actually using the compiler.
>
> Yeah, something weird has happened. I sent in a bug report to the
> sourceforge people, asking them to limit each IP address to bumping
> each counter once per day.
Interestingly, my officemate and I have discovered that a similar
phenomena has affected the Geometry Utility Library, IT++ (a signal
processing library), and the HOL Theorem prover. We're now trying to
think of which company to invest in, as they seem to have hit on some hot
topic. ;) The really annoying part is there is a connection between MLton
and HOL (although I have no idea if you can compile HOL out of the box
with MLton).
-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel