From 18ff21727eee23d53a166d43697e3acf67bcb68e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 20 Oct 2015 12:52:48 -0400 Subject: update --- doc/todo/type_level_port_conflict_detection.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/todo/type_level_port_conflict_detection.mdwn') diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn index 46a68baa..6708ac3a 100644 --- a/doc/todo/type_level_port_conflict_detection.mdwn +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -4,4 +4,4 @@ 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 users/joey]] +[[!tag user/joey]] -- cgit v1.2.3