Context Navigation

Changes between Version 12 and Version 13 of NewAxioms

v12	v13
99	99	F (a,b) = [Char]
100	100	F (Int,b) = Char
101		f Bool = Char
	101	F Bool = Char
102	102
103	103	(B) type instance of -- Use "of" (yuk)
104	104	F (a,b) = [Char]
105	105	F (Int,b) = Char
106		f Bool = Char
	106	F Bool = Char
107	107
108	108	(C) type instance F where -- Redundantly mention F in the header
109	109	F (a,b) = [Char]
110	110	F (Int,b) = Char
111		f Bool = Char
	111	F Bool = Char
112	112	}}}
113	113	We need one of the existing "layout herald" keywords (`of`, `let`, `where`) to smoothly support the nested block of equations. It's not clear whether or not it is useful to mention the name of the function in the header.