diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
| commit | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (patch) | |
| tree | 80390b00a6009cea21fbb68cbf56e6a193b478a2 /users/glittershark/achilles/ach/functions.ach | |
| parent | 7960c3270e1a338f4da40d044a6896df96d82c79 (diff) | |
Universally quantified type variables
Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.
Diffstat (limited to 'users/glittershark/achilles/ach/functions.ach')
0 files changed, 0 insertions, 0 deletions