Rob Rix 0013475516 Terms of Hashable leaf type can be hashed.		2015-10-01 09:54:44 -04:00
..
Doubt	Terms of Hashable leaf type can be hashed.	2015-10-01 09:54:44 -04:00
doubt-swift	Diff is defined over Term<Info>.	2015-09-30 16:05:39 -04:00
Doubt.xcodeproj	Replace Location with Info.	2015-09-30 15:58:01 -04:00
Doubt.xcworkspace	Add & link SourceKitten & dependencies.	2015-09-21 11:14:31 -04:00
DoubtTests	Diff is defined over Term<Info>.	2015-09-30 16:05:39 -04:00
External	Bump SourceKitten.	2015-09-23 17:00:57 -04:00
.gitignore	Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5'	2015-09-15 12:32:12 -04:00