29014 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c2e620ac6f	Haddock doesn’t like this.	2019-08-06 13:52:32 -04:00
Rob Rix	8d08b1a26a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:45:57 -04:00
Rob Rix	7482c84d9b	Merge pull request #220 from github/module-laws ... Module laws	2019-08-06 13:45:49 -04:00
Rob Rix	d600246663	📝 the Semigroup instance for Concrete.	2019-08-06 13:44:21 -04:00
Rob Rix	82cb7e49b0	📝 the Semigroup instance for Term Monotype a.	2019-08-06 13:43:37 -04:00
Rob Rix	559a7aa59c	📝 the Semigroup use.	2019-08-06 13:41:45 -04:00
Rob Rix	dbf894163a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:37:20 -04:00
Rob Rix	5d47b21977	Merge branch 'master' into module-laws	2019-08-06 13:34:36 -04:00
Rob Rix	fb1c27b595	Merge pull request #203 from github/records ... Records	2019-08-06 13:32:56 -04:00
Rob Rix	372ed98b5e	Avoid rolling our own string literal parser. ... 🎩 @patrickt.	2019-08-06 12:25:05 -04:00
Rob Rix	78bd32e0b0	Don’t prefix :<-.	2019-08-06 12:23:01 -04:00
Rob Rix	b80dd5381a	Pull the rhs into a where clause.	2019-08-06 12:18:34 -04:00
Rob Rix	28404ae11e	foldrWithKey. ... 🎩 @patrickt.	2019-08-06 12:12:11 -04:00
Rob Rix	dd6d9a0209	Type application.	2019-08-06 12:07:01 -04:00
Rob Rix	0d2f05a8c7	📝 the parameters to unprefixEither.	2019-08-06 12:05:22 -04:00
Rob Rix	7c686d1ccb	📝 unprefixEither.	2019-08-06 12:04:22 -04:00
Rob Rix	eb2ede6d1d	Subterm.	2019-08-06 12:02:47 -04:00
Rob Rix	e2ec37ebdb	📝 unprefix’s parameters.	2019-08-06 12:01:30 -04:00
Rob Rix	ab07e5a0d6	📝 unprefix’s purpose.	2019-08-06 11:59:20 -04:00
Rob Rix	7b0a4155da	📝 unprefix.	2019-08-06 11:57:10 -04:00
Rob Rix	93eba20619	Rename un/unEither to unprefix/unprefixEither.	2019-08-06 11:55:43 -04:00
Rob Rix	93eba1d946	📝 the practical takeaway.	2019-08-06 11:47:35 -04:00
Rob Rix	c09e465efb	📝 RightModule and its laws.	2019-08-06 11:40:15 -04:00
Rob Rix	339585f4ba	Merge branch 'master' into records	2019-08-06 11:15:11 -04:00
Rob Rix	3617455ad2	Merge pull request #202 from github/gen-x ... 🔥 Naming, Name, & Gensym	2019-08-06 11:14:53 -04:00
Rob Rix	ceb4791237	Merge branch 'master' into gen-x	2019-08-02 14:37:57 -04:00
Rob Rix	919955591d	Merge pull request #201 from github/types-as-syntax ... Types as syntax	2019-08-02 14:37:29 -04:00
Rob Rix	611294b064	Merge branch 'master' into types-as-syntax	2019-08-02 14:27:56 -04:00
Rob Rix	5179e88079	Merge pull request #200 from github/break-hearts-not-builds ... Fold over Core without iter	2019-08-02 14:27:32 -04:00
Rob Rix	0eb17e3047	Merge branch 'master' into break-hearts-not-builds	2019-08-01 11:51:05 -04:00
Timothy Clem	d721aadf12	Get versions to line up	2019-08-01 09:48:13 -06:00
Rob Rix	de7956b547	Merge branch 'master' into break-hearts-not-builds	2019-08-01 11:29:10 -04:00
Timothy Clem	72b3aed8f0	Merge pull request #213 from github/git-ls-tree-fixes ... Git ls tree fixes	2019-08-01 06:17:50 -07:00
Timothy Clem	4fa9013e92	Add a test for other types and modes	2019-07-31 15:31:50 -06:00
Rob Rix	1751ad1702	Merge branch 'master' into break-hearts-not-builds	2019-07-31 14:40:44 -04:00
Rob Rix	ff9e140751	Merge pull request #212 from github/from-paths ... New options for readBlobsFromGitRepo	2019-07-31 14:40:26 -04:00
Timothy Clem	61186c946d	++0.7.0.0	2019-07-31 09:45:17 -07:00
Timothy Clem	77b6b85d49	Properly parse other objects and modes	2019-07-31 09:42:05 -07:00
Timothy Clem	3409779b23	s/OnlyPaths/IncludePaths	2019-07-31 07:37:23 -07:00
Timothy Clem	42028a818f	Allow ts-parse command to also accept these	2019-07-30 17:36:25 -07:00
Timothy Clem	2b37bc9312	New options for readBlobsFromGitRepo ... Allows specifying only the paths you want to parse in the repo	2019-07-30 17:34:35 -07:00
Rob Rix	b10912b1b4	Merge branch 'master' into break-hearts-not-builds	2019-07-29 10:55:27 -04:00
Rob Rix	8f15669a99	Merge pull request #184 from github/scope-safety ... Scope safety	2019-07-29 10:54:48 -04:00
Rob Rix	1c832f5f71	Merge branch 'master' into scope-safety	2019-07-26 10:19:13 -05:00
Rob Rix	212a37c5d5	Merge pull request #205 from github/proto-fixes ... Revert manual oneof proto edits	2019-07-26 10:18:45 -05:00
Rob Rix	b6dfdbcb2d	Merge branch 'master' into scope-safety	2019-07-26 10:14:35 -05:00
Rob Rix	b889e41b79	Merge branch 'master' into proto-fixes	2019-07-26 10:08:15 -05:00
Rob Rix	dffe323901	Merge pull request #206 from kittenking/typo-fixes ... Fix typos across semantic repository	2019-07-26 10:08:01 -05:00
Rob Rix	b05f5d21a0	Merge branch 'master' into proto-fixes	2019-07-26 10:06:24 -05:00
Kitten King	2aa6b4a12d	Fix Typos	2019-07-26 03:25:50 +00:00