Renamed the Check command to Infer
Factored out computations
comitting broken code before trying something else
forgot to add rio.ml
Just in case
Commiting something that compiles
Kind of working
Commiting to push for Dan