Closed bobatkey closed 8 years ago
Adds "dynamic_state.ml" to demonstrate the use of dynamically generated effect names for simulating ML-style references without the use of universal types.
Very nice!
Excellent 👍
Adds "dynamic_state.ml" to demonstrate the use of dynamically generated effect names for simulating ML-style references without the use of universal types.