I agree that having good editor set-ups would be great. I would love one that is compatible with Pa_ounit.
By the way, I have also found that many of my students seem to prefer using sublime over emacs. Dave On Wed, Nov 26, 2014 at 1:15 PM, Yaron Minsky <[email protected]> wrote: > My sense from having talked to a bunch of people who are teaching > these classes in the US is that Windows is probably important longer > term, but short term there are other higher value things to improve > upon. I think having good ways of doing graphical examples is surely > one, and I tend to think that Javascript is a far better target than > X11. > > I'd also love to have good default editor setups that we could > deliver, perhaps through OPAM itself. Having a nicely set up editor > configs with things like Merlin and ocp-indent working out of the box > would be great. > > y > > On Wed, Nov 26, 2014 at 11:56 AM, Greg Morrisett <[email protected]> > wrote: > > Ditto at Harvard. > > > > -Greg > > > >> On Nov 26, 2014, at 10:44 AM, David Walker <[email protected]> wrote: > >> > >> At Princeton, we also have lots of students with windows machines and > support them by having them download a VM. > >> > >> Dave > >> > >> On Wed, Nov 26, 2014 at 10:17 AM, Benjamin Greenman <[email protected]> > wrote: > >> 1/ What systems does it need to work in ? Does that include Windows ? > >> > >> For the functional programming course at Cornell, we dropped Windows > support in favor of a vagrant vm [1] in Fall 2013 and have since been much > happier. Students can just double-click a few things and have a working > install (complete with extra packages like pa_ounit and qcheck), and staff > no longer needs to worry about cross-platform issues (especially important > for GUIs). > >> > >> [1] https://github.com/cs3110/vagrant-opam > >> > >> _______________________________________________ > >> Teaching mailing list > >> [email protected] > >> http://lists.ocaml.org/listinfo/teaching > >> > >> > >> _______________________________________________ > >> Teaching mailing list > >> [email protected] > >> http://lists.ocaml.org/listinfo/teaching > > > > _______________________________________________ > > Teaching mailing list > > [email protected] > > http://lists.ocaml.org/listinfo/teaching >
_______________________________________________ Teaching mailing list [email protected] http://lists.ocaml.org/listinfo/teaching
