diff options
| -rw-r--r-- | doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment b/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment new file mode 100644 index 00000000..230eccab --- /dev/null +++ b/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 3""" + date="2016-03-08T21:06:08Z" + content=""" +Asked about what I'm stuck on: +<http://stackoverflow.com/questions/35878018/how-to-write-an-intersection-function-for-type-level-lists> +"""]] |