mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-26 08:09:22 +03:00
eedb46ba88
Updated for the new sintax (now arrows are mandatory in forall). |
||
---|---|---|
.. | ||
img | ||
0-goodbye-javascript.md | ||
1-beyond-inductive-datatypes.md | ||
2-first-class-modules-with-self-types.md |