Commit 4e6fa18f authored by Arnaud Spiwack's avatar Arnaud Spiwack

Update core spec

parent e93a80ad
[core-spec]: uploads/ceaedb9ec409555c80ae5a97cc47470e/minicore.pdf
[core-spec]: uploads/355cd9a03291a852a518b0cb42f960b4/minicore.pdf
On this page we describe the principles behind the implementation of the linear types extension as described at [LinearTypes](linear-types).
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment