kuis-isle3sw/IoPLMaterials

rename main.ml to cui.ml and apply the separation

Closed this issue · 2 comments

For example, Fig 4.1 in textbook/chap04-1.pdf shows the changes in main.ml but the actual needed changes is in cui.ml and main.ml.

Is there any confusion still in the current version?

Thank you for your contribution!