 Mirek Kratochvil
|
6e2ab88961
|
a bit of a revamp
|
2022-05-25 08:30:09 +02:00 |
|
|
Mirek Kratochvil
|
23b62f6344
|
software F engineering
|
2020-09-27 19:26:53 +02:00 |
|
|
Mirek Kratochvil
|
94b5950ca5
|
make hlint happy
|
2020-09-27 15:03:37 +02:00 |
|
|
Mirek Kratochvil
|
72563ba54c
|
build with builder
|
2020-09-27 14:59:57 +02:00 |
|
|
Mirek Kratochvil
|
114a333982
|
merging merges
|
2020-09-27 14:42:55 +02:00 |
|
|
Mirek Kratochvil
|
8f4f4434b6
|
fix more stuff
|
2020-09-27 11:14:41 +02:00 |
|
|
Mirek Kratochvil
|
36cf2ba36f
|
cleanup, change representation
|
2020-09-26 23:09:46 +02:00 |
|