M-Labs
/
nac3-spec
11
0
Fork 0
Code Issues 14 Pull Requests Releases Wiki Activity

updated readme

pull/14/head
pca006132 2020-12-23 17:04:31 +08:00 committed by pca006132
parent 10eae3deb0
commit 07bc512e59
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
toy-impl/README.md
View File

@ -84,6 +84,9 @@ Generics are supported via type variables.
> different. Please don't do that right now, would be fixed in later more
> serious implementations.
We require the function to be well typed under every possible substitution of
the type variables.
For generic type variables, you can't really do much with them, other than
passing them around in parameters, dealing with their list, etc.