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 |
|
Patrick Thomson
|
d2d1869d08
|
No orphans in this file anymore!
|
2019-08-06 13:33:18 -04:00 |
|
Rob Rix
|
fb1c27b595
|
Merge pull request #203 from github/records
Records
|
2019-08-06 13:32:56 -04:00 |
|
Patrick Thomson
|
6fe27108a3
|
No need to pull in QC; Hedgehog's label can do this.
|
2019-08-06 13:27:58 -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
|
f141319f84
|
Rename User to Name.
|
2019-08-06 11:18:54 -04:00 |
|
Rob Rix
|
bd575002a3
|
Merge branch 'master' into the-point-of-no-carriage-return
|
2019-08-06 11:16:05 -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
|
a1e0e64204
|
Merge branch 'master' into the-point-of-no-carriage-return
|
2019-08-02 17:12:28 -04:00 |
|
Rob Rix
|
5ea3f651e0
|
Spacing.
|
2019-08-02 16:45:48 -04:00 |
|
Rob Rix
|
831a7d6f09
|
Label the exhaustiveness property.
|
2019-08-02 16:01:48 -04:00 |
|
Rob Rix
|
99b1287f2c
|
Decrease the frequency of newlines & carriage returns.
|
2019-08-02 15:59:53 -04:00 |
|
Rob Rix
|
e9eecddca5
|
Correct the sourceLineRanges test.
|
2019-08-02 15:56:25 -04:00 |
|
Rob Rix
|
4b5215a9cf
|
Reformat for clarity.
|
2019-08-02 15:42:56 -04:00 |
|
Rob Rix
|
f2318537c9
|
Summarize with the number of lines.
|
2019-08-02 15:39:02 -04:00 |
|
Rob Rix
|
e986ed0937
|
Spacing.
|
2019-08-02 15:37:50 -04:00 |
|
Rob Rix
|
b5e6aab55b
|
Label cases as empty/non-empty.
|
2019-08-02 15:34:15 -04:00 |
|
Rob Rix
|
258e25409a
|
Run the sourceLineRanges test with QuickCheck.
|
2019-08-02 15:33:58 -04:00 |
|
Rob Rix
|
99df4b384e
|
Select newlines and carriage returns frequently.
|
2019-08-02 14:56:50 -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 |
|