diff options
Diffstat (limited to 'docs/users_guide/exts/bindings.rst')
| -rw-r--r-- | docs/users_guide/exts/bindings.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/exts/bindings.rst b/docs/users_guide/exts/bindings.rst new file mode 100644 index 0000000000..a57331eb3c --- /dev/null +++ b/docs/users_guide/exts/bindings.rst @@ -0,0 +1,8 @@ +Bindings and generalisation +=========================== + +.. toctree:: + :maxdepth: 1 + + monomorphism + let_generalisation |