Update comments.

src/App/ZoneInterface.purs

@@ -1,10 +1,17 @@
 -- | `App.ZoneInterface` provides an interface to display and modify a DNS zone.
 -- |
 -- | This interface allows to:
--- |   - TODO: display all resource records of a zone
--- |   - TODO: add new resource records
--- |   - TODO: remove resource records
--- |   - TODO: ask for confirmation on deletion
+-- |   - display all resource records of a zone
+-- |   - * DONE: NS, A, AAAA, CNAME, TXT, MX, SRV
+-- |   - * TODO: SOA
+-- |   - add new resource records
+-- |   - TODO: modify resource records
+-- |   - remove resource records
+-- |   - ask for confirmation on deletion
+-- |
+-- | TODO: do not allow for the modification of read-only resource records.
+-- |
+-- | TODO: move all serialization code to a single module.
 
 module App.ZoneInterface where
 
@@ -65,10 +72,10 @@ type Input = String
 
 -- | Possible component's actions are:
 -- | - TODO: update the list of resource records
--- | - TODO: add a resource record
+-- | - add a resource record
 -- | - TODO: modify a resource record
--- | - TODO: remove a resource record
--- | - TODO: handle user inputs
+-- | - remove a resource record
+-- | - handle user inputs
 
 data Update_SRR_Form
   = Update_SRR_Type      Int