Naïve OCaml implementation of effect types
Find a file
2017-08-26 23:50:34 +02:00
.gitignore Initial commit 2017-08-26 23:50:34 +02:00
.merlin Initial commit 2017-08-26 23:50:34 +02:00
effects.ml Initial commit 2017-08-26 23:50:34 +02:00
effects.mli Initial commit 2017-08-26 23:50:34 +02:00
secure.ml Initial commit 2017-08-26 23:50:34 +02:00
secure.mli Initial commit 2017-08-26 23:50:34 +02:00