4 commits

Author	SHA1	Message	Date
Myriad-Dreamin	9835ffe6ab	docs: add documents to type system (#295) ... * docs: simplify a bit * docs: add documents to type system code * docs: update * refactor: rename	2024-05-16 11:52:41 +08:00
Myriad-Dreamin	43946b9bd3	docs: a first draft on overview document (#276) ... * docs: finish command system overview * docs: a first draft on overview document * dev: revise a bit	2024-05-12 17:00:27 +08:00
Myriad-Dreamin	0f08a4d2b0	docs: initialize overview (#274)	2024-05-12 00:52:58 +08:00
Myriad-Dreamin	b35d897919	feat: complete function parameters on signatures inferred by type checking (#203) ... * dev: check upper bound types in assigning positions * dev: check template signatures * feat: completion with type sigatures * dev: document a bit * dev: save todo work on auto completion on user functions * dev: fix document target * dev: remove playground snaps * dev: fix ident target * dev: update snapshot	2024-04-20 15:03:46 +08:00