Rob Rix 6c8ce1bcb2 Append, don’t subscript. ... Subscripting only replaces, never appends.		2015-10-06 13:29:43 -04:00
..
Doubt	Append, don’t subscript.	2015-10-06 13:29:43 -04:00
doubt-swift	Diff is defined over Term<Info>.	2015-09-30 16:05:39 -04:00
Doubt.xcodeproj	The tests link against Assertions.framework.	2015-10-06 13:16:15 -04:00
Doubt.xcworkspace	Include Assertions in the workspace.	2015-10-06 13:16:05 -04:00
DoubtTests	Port the SES example from the paper.	2015-10-06 13:27:06 -04:00
External	Add Assertions as a submodule.	2015-10-06 13:13:53 -04:00
.gitignore	Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5'	2015-09-15 12:32:12 -04:00