Remove extra ` from "kind-indexed GADTs" doc
authorChris Martin <ch.martin@gmail.com>
Thu, 10 Aug 2017 23:37:02 +0000 (19:37 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 17 Aug 2017 20:42:55 +0000 (16:42 -0400)
commitaf9f3fabd72a8b2d627c1360a5c8fc1925f2145d
treefe24ae81d4f916a9420c0404c2f3025454fbe77a
parentc948b7865ace38d3d6912db0fc271aa7e9f70d2b
Remove extra ` from "kind-indexed GADTs" doc
docs/users_guide/glasgow_exts.rst