Commit graph

8 commits

Author SHA1 Message Date
Myriad-Dreamin
db314c2ea9
docs: write some developer guides (#372) 2024-07-07 11:26:35 +08:00
Myriad-Dreamin
54b0207fe1
build: serve crate docs (#353)
* build: crate docs

* docs: update table of contents
2024-06-28 10:03:26 +08:00
Myriad-Dreamin
eccfe42d1a
docs: minor updates (#345) 2024-06-26 16:40:21 +08:00
Myriad-Dreamin
39d6c0affe
docs: add base documentation (#344) 2024-06-26 16:33:33 +08:00
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