Control
|
start implementing roles
|
2020-07-19 08:27:15 +02:00 |
Model
|
start implementing roles
|
2020-07-19 08:27:15 +02:00 |
Types
|
start implementing roles
|
2020-07-19 08:27:15 +02:00 |
API.hs
|
start implementing roles
|
2020-07-19 08:27:15 +02:00 |
Control.hs
|
provide metainformation to frontends
|
2019-12-20 08:48:12 +01:00 |
Model.hs
|
prepare roles
|
2020-05-16 10:02:26 +02:00 |
Types.hs
|
start implementing roles
|
2020-07-19 08:27:15 +02:00 |
Util.hs
|
hunting warnings
|
2019-12-12 03:20:08 +01:00 |