A little polising of `opam` file and `Makefile` - Githubissues

PLTools / Lama

Teaching language LaMa for a compiler course

GNU General Public License v3.0

67 stars 28 forks source link

A little polising of `opam` file and `Makefile` #1

Closed Kakadu closed 4 years ago