status/may13.md

@@ -50,7 +50,17 @@ Meanwhile others have been adding new features.
 
 - type level natural numbers \[**Iavor S. Diatchki**\]
 
-- overlapping type families \[**Richard Eisenberg**\]
+- **Ordered overlapping type family instances.** Richard Eisenberg has implemented support for ordered overlapping type family instances, called *branched* instances. This allows type-level functions to use patterns in a similar way to term-level functions. For example:
+
+```wiki
+type family Equals (x :: *) (y :: *) :: Bool
+type instance where
+  Equals x x = True
+  Equals x y = False
+```
+
+
+Details can be found in the wiki page \[2\].
 
 ## Back end and code generation
 
@@ -81,4 +91,4 @@ Meanwhile others have been adding new features.
 
 - cross-compilation \[**Stephen Blackheath**\]
 
-\[1\] The new codegen is nearly ready to go live [ http://hackage.haskell.org/trac/ghc/blog/newcg-update](http://hackage.haskell.org/trac/ghc/blog/newcg-update)
+\[1\] Overlapping type family instances:  [ http://hackage.haskell.org/trac/ghc/wiki/NewAxioms](http://hackage.haskell.org/trac/ghc/wiki/NewAxioms)\[2\] The new codegen is nearly ready to go live [ http://hackage.haskell.org/trac/ghc/blog/newcg-update](http://hackage.haskell.org/trac/ghc/blog/newcg-update)
\ No newline at end of file