9 Commits

Author	SHA1	Message	Date
Rob Rix	76441c3775	Fix implements hash where A is Hashable.	2015-10-02 16:31:49 -04:00
Rob Rix	bccc09d39b	Fix hashing.	2015-10-02 16:31:10 -04:00
Rob Rix	96e5cd0e7a	Abbreviate Fix equality.	2015-10-02 16:28:57 -04:00
Rob Rix	a0e77e2495	== over Fix.	2015-10-02 14:17:59 -04:00
Rob Rix	bc857f810b	Fix Equality.	2015-10-02 14:17:25 -04:00
Rob Rix	f8c37695ae	Document Fix’s case.	2015-10-02 14:08:03 -04:00
Rob Rix	ad3d4b6c3f	Backticks around types.	2015-10-02 13:54:34 -04:00
Rob Rix	da3c1041e0	Fix is public.	2015-10-02 13:42:55 -04:00
Rob Rix	bf75fcab61	Add Fix, the fixpoint of Syntax.	2015-10-02 13:21:43 -04:00