github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 11:02:26 +03:00
Code Issues Projects Releases Wiki Activity
1,039 Commits 19 Branches 16 Tags 46 MiB
841f7017c8
Commit Graph

11 Commits

Author SHA1 Message Date
Rob Rix
e2e55ef041 Document the purpose of size. 2015-10-15 13:45:30 -04:00
Rob Rix
9cc446b4ea Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees 
Conflicts:
	prototype/Doubt/Patch.swift
	prototype/Doubt/TermType.swift
	prototype/DoubtTests/SESTests.swift
 2015-10-15 09:32:36 -04:00
Rob Rix
59947a6581 Rename TermType.out to TermType.unwrap. 2015-10-15 09:18:55 -04:00
Rob Rix
3d8027b6a1 Fix is no longer a TermType. 2015-10-15 09:17:40 -04:00
Rob Rix
adca66f66c Define parameterized equality over TermType. 2015-10-15 09:05:40 -04:00
Rob Rix
b93a605b37 Document cata. 2015-10-14 21:07:30 -04:00
Rob Rix
b4a9564747 TermType has a size property. 2015-10-14 18:47:20 -04:00
Rob Rix
b0cb77ae74 Define catamorphisms over TermTypes. 2015-10-14 18:42:20 -04:00
Rob Rix
9afc487776 Cofree is a TermType. 2015-10-14 14:05:43 -04:00
Rob Rix
3e75895c4d Fix is a TermType. 2015-10-14 13:57:21 -04:00
Rob Rix
6f886356aa Add a TermType protocol. 2015-10-14 13:52:25 -04:00