diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-10-20 12:47:56 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-20 12:47:56 -0400 |
| commit | 9f40055b5474279a1fc79a85cbb38a975c77284e (patch) | |
| tree | a9e232d56c1430ed042634f570961b8a3b52936c /doc/todo | |
| parent | 3dbe63575bf291739270e6fce6d9f51e83538e09 (diff) | |
tag
Diffstat (limited to 'doc/todo')
| -rw-r--r-- | doc/todo/type_level_port_conflict_detection.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn index 5aec5775..6708ac3a 100644 --- a/doc/todo/type_level_port_conflict_detection.mdwn +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -3,3 +3,5 @@ See <http://stackoverflow.com/questions/26027765/using-types-to-prevent-conflict Needs ghc newer than 7.6.3. It may be possible to port Data.Type.Equality and Data.Type.Bool to older versions; I got them to compile but they didn't work right. --[[Joey]] + +[[!tag user/joey]] |