Philippe Pittoli
|
8d32f9933b
|
Let's select a domain!
|
2023-07-02 00:05:38 +02:00 |
Philippe Pittoli
|
987133954f
|
Bulma CSS style: WIP.
|
2023-06-08 21:51:12 +02:00 |
Philippe Pittoli
|
a51b943f84
|
AlternativeMain, to test stuff (currently sum types JSON encoding).
|
2023-05-27 17:04:23 +02:00 |
Philippe Pittoli
|
9d3e139b52
|
Parse PermissionLevel (a simple sum data type).
|
2023-05-27 12:26:03 +02:00 |
Philippe Pittoli
|
e80b71c0cd
|
Codecs, Codecs everywhere!
|
2023-05-26 01:39:50 +02:00 |
Philippe Pittoli
|
ce57643cec
|
Minor changes (mostly comments).
|
2023-05-21 18:08:41 +02:00 |
Philippe Pittoli
|
c94a509f0d
|
Project now compiles.
|
2023-05-19 23:50:24 +02:00 |
Philippe Pittoli
|
20207e7e73
|
Starting point.
|
2023-05-19 01:06:39 +02:00 |
Dirk Dühr
|
4f63b52638
|
Updated purescript, spago and parcel to latest versions (#38)
Co-authored-by: Dirk Dühr <duehr@adesso-mobile.de>
|
2022-10-25 10:23:55 -04:00 |
milesfrain
|
9858165d57
|
Convert to Parcel (#26)
|
2020-06-29 18:32:28 -07:00 |
Thomas Honeyman
|
93c34f2214
|
Update template for Halogen 5 and Spago (#23)
Update template for Halogen 5 and Spago
|
2020-05-10 10:32:46 -04:00 |