• erwan's avatar
    Update: rename the source dir src (was bin) · d4e6c582
    erwan authored
    For some reason, I believed that the source dir containing the main
    program need to be named bin for dune to work smoothly. But actually,
    it seems to work fine with src, so let's go for it.