Philippe Pittoli d7f6bd225a Take new reponse into account: UserDeleted		2023-06-14 18:40:42 +02:00
..
Messages	Take new reponse into account: UserDeleted	2023-06-14 18:40:42 +02:00
AuthenticationDaemonAdminInterface.purs	An admin can now create an admin user.	2023-06-13 20:17:27 +02:00
AuthenticationForm.purs	New authd API on request functions: complete. Still subject to changes, though.	2023-06-13 19:49:38 +02:00
Button.purs	Update to PureScript 0.14 and Halogen 6 (#29)	2021-03-09 12:02:04 -08:00
Container.purs	Bulma CSS style: WIP.	2023-06-08 21:51:12 +02:00
Email.purs	Codecs, Codecs everywhere!	2023-05-26 01:39:50 +02:00
IPC.purs	Parsing JSON messages: FIXED.	2023-05-25 00:07:59 +02:00
OriginalInterface.purs	re: better with the attached files.	2023-05-22 16:38:31 +02:00
PermissionLevel.purs	PermissionLevel: codec fixed.	2023-05-31 00:22:38 +02:00
UserPublic.purs	UserAdded: message was correctly parsed after all.	2023-06-04 02:01:50 +02:00