update

doc/design/assistant.mdwn

@@ -18,7 +18,8 @@ and use cases to add. Feel free to chip in with comments! --[[Joey]]
 
 We are, approximately, here:
 
-* Months 10-11: more user-driven features and polishing
+* Months 10: bugfixing, Android webapp
+* Months 111: more user-driven features and polishing
 * Month 12: "Windows purgatory" [[Windows]]
 
 ## porting

doc/design/assistant/android.mdwn

@@ -18,15 +18,8 @@ jobs when low on battery or run flat out when plugged in.
 The app should be aware of network status, and avoid expensive data
 transfers when not on wifi. This may need to be configurable.
 
-## Template Haskell for android?
-
-Best lead I have on getting cross compilation of TH working is that GHCJS
-does it, and that it involves compiling each file twice, once natively for
-TH and once for cross.
-
 ## TODO
 
-* webapp
 * autostart any configured assistants. Best on boot, but may need to only
   do it when app is opened for the first time.
 * Don't make app initially open terminal, but go to a page that
@@ -39,11 +32,11 @@ TH and once for cross.
   allow git to link to it.
 * getEnvironment is broken on Android <https://github.com/neurocyte/ghc-android/issues/7>
   and a few places use it.
-* Enable WebDAV support. Currently needs template haskell (could be avoided
-  by changing the DAV library to not use it), and also networking support,
-  which seems broken in current ghc-android.
 * XMPP support. I got all haskell libraries installed, but it fails to find
   several C libraries at link time.
+* WebDAV. All haskell libraries are installed, but it fails at link
+  time due to some missing symbols that are not in the Android libc.
+  (DNS lookup stuff)
 * Get local pairing to work. network-multicast and network-info don't
   currently install.
 * Get test suite to pass. Current failure is because `git fetch` is somehow