Closed rgrinberg closed 5 years ago
Add a dune file that builds the primrec example (testable by building @check or @all). Additionally, fix some warnings in primrec.
Signed-off-by: Rudi Grinberg rudi.grinberg@gmail.com
Thanks!
Add a dune file that builds the primrec example (testable by building @check or @all). Additionally, fix some warnings in primrec.
Signed-off-by: Rudi Grinberg rudi.grinberg@gmail.com