diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:09:24 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:09:24 -0400 |
| commit | d91b189ceb5f1e264f7c7dcba128f17b7fe0bc20 (patch) | |
| tree | 6a2536681aa368e61d4f2ffa8f6686810dcdb7c9 /doc | |
| parent | 4992b53724d6c4dec3899cd6c52163b4548abd7c (diff) | |
add
Diffstat (limited to 'doc')
| -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> +"""]] |