• Kim Nguyễn's avatar
    [trywhy3]: prepare for merge. · d6328f8f
    Kim Nguyễn authored
    	   * clean-up the code and files
    	   * add license headers in .ml files
    	   * add a Makefile rule to generate a tarball
    	   * update the README
    d6328f8f
alt_ergo_worker.ml 2.52 KB