Commit 7fbfd2d

Jérôme FERET

committed

CLeaning the code

1 parent b192c75 commit 7fbfd2dCopy full SHA for 7fbfd2d

4 files changed

+458

-230

lines changed

core
- connected
  - connected.mli
  - connected.ml
- main
  - KaSim.ml
  - dune

4 files changed

+458

-230

lines changed

Comments

(0)