feat: parallel type checking #42

Merged
gk1623 merged 4 commits from parallel-type-checking into master 2025-03-14 06:11:54 +00:00

4 Commits

Author SHA1 Message Date
cyclane 084081de7e style: scala format 2025-03-14 05:40:21 +00:00
cyclane 46f526c680 feat: success logging by default 2025-03-14 05:39:42 +00:00
cyclane 53d47fda63 feat: initial parallel type-checker implementation 2025-03-14 04:09:34 +00:00
Jonny 42515abf2a refactor: remove pattern match in for comprehension 2025-03-14 00:00:43 +00:00