4 http://eclipse.org/[Eclipse] is an open, extensible IDE.
6 http://www.cse.iitd.ernet.in/%7Ecsu02132/mldev/[ML-Dev] is a plug-in
7 for Eclipse, based on <:SMLNJ:SML/NJ>.
9 There has been some talk on the MLton mailing list about adding
10 support to Eclipse for MLton/SML, and in particular, using
11 http://eclipsefp.sourceforge.net/. We are unaware of any progress