Henrik Böving
|
3a5c0db46b
|
style: refactor process to Lean 4 compiler style
|
2023-01-01 19:30:28 +01:00 |
|
Henrik Böving
|
e402ee94b1
|
feat: look for builtin type instances
|
2022-11-22 21:07:59 +01:00 |
|
Henrik Böving
|
d29e14a26a
|
chore: update toolchain and dependencies
|
2022-08-09 23:30:43 +02:00 |
|
Henrik Böving
|
247b930364
|
feat: instances for
|
2022-07-23 15:40:08 +02:00 |
|
Henrik Böving
|
3aae640f69
|
chore: structure ctor style
|
2022-07-23 13:37:17 +02:00 |
|
Henrik Böving
|
ed4cee2eae
|
chore: style, change $ to <|
|
2022-07-23 13:01:25 +02:00 |
|
Henrik Böving
|
bb9b55ef2c
|
feat: Step 1 for full separate builds with global info
|
2022-07-22 14:48:36 +02:00 |
|
Henrik Böving
|
b58b1b315b
|
refactor: finally split upt the process module
|
2022-05-20 00:36:21 +02:00 |