diff options
| -rw-r--r-- | doc/todo/type_level_OS_requirements.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements.mdwn b/doc/todo/type_level_OS_requirements.mdwn index 3cd6e97d..7c2fb78f 100644 --- a/doc/todo/type_level_OS_requirements.mdwn +++ b/doc/todo/type_level_OS_requirements.mdwn @@ -51,3 +51,5 @@ ghc 7.6.3. I was able to get the type level OS implementation backported to work with that version, with some added ugliness. --[[Joey]] + +[[!tag user/joey]] |