new idea

cangiuli · Sep 9, 2014 · d48d31d · d48d31d
1 parent d32ff3e
commit d48d31d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ideas b/ideas
@@ -14,3 +14,4 @@ Into the Wild: constructing "real-life"
   counterexamples to things that work well in practice
 Prince Mank Hexzy requesting homeward bound money
 type safety / OSHA
+overlay journal for "comprehensible nlab articles", etc