Leni Aniva
|
7a2278cb70
|
doc: Add comprehensive documentation
fix: Typo in `Server.tactic_invocations`
|
2024-10-20 19:22:35 -07:00 |
Leni Aniva
|
75221cca0b
|
doc: autodocs for expr and data
|
2024-10-20 09:52:12 -07:00 |
Leni Aniva
|
39b9e0736a
|
doc: Stub on setup and drafting
|
2024-10-18 15:19:58 -07:00 |
Leni Aniva
|
d39f501d4b
|
feat: Generate API docs
|
2024-10-17 21:36:53 -07:00 |
Leni Aniva
|
8dd59bb891
|
doc: Build instructions
|
2024-10-17 21:28:23 -07:00 |
Leni Aniva
|
7d4ee57c15
|
doc: Documentation stub
|
2024-10-17 21:03:18 -07:00 |