Commit graph

4 commits

Author SHA1 Message Date
Shunsuke Shibayama
dd36942256 feat: implement some typevar-related syntax sugar
* add `TypeBoundSpec::Omitted`
* add `TypeAppArgsKind`
2023-03-01 23:35:19 +09:00
Shunsuke Shibayama
308f6a77dd Optimize type inferer 2022-10-27 10:10:51 +09:00
Shunsuke Shibayama
66451ad61a Update docs 2022-09-02 01:16:03 +09:00
Shunsuke Shibayama
96132b20f6 initial commit 2022-08-10 23:02:27 +09:00