From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Mon, 22 Mar 2021 20:35:15 +0000 (-0400)
Subject: Add TODOs for output formats
X-Git-Tag: 0.15.0~17
X-Git-Url: https://git.xandkar.net/?p=tt.git;a=commitdiff_plain;h=f2ecd14e497defe78bd5aa59c8e7a008ba7bfc43

Add TODOs for output formats
---

diff --git a/TODO b/TODO
index b106160..94daaca 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,8 @@
+- [ ] Output formats:
+  - [x] text long
+  - [x] text short
+  - [ ] HTML
+  - [ ] JSON
 - [ ] Convert to Typed Racket
   - requires: build executable (otherwise too slow)
 - [x] Build executable