Rob Rix
|
83337a55cc
|
Build using the tree-sitter script.
|
2015-10-26 15:40:56 -04:00 |
|
Rob Rix
|
0c8ae2a286
|
Pass the action to the external build tool.
|
2015-10-26 15:40:50 -04:00 |
|
Rob Rix
|
13f91b80a3
|
Add a target for tree-sitter’s runtime library.
|
2015-10-26 15:36:07 -04:00 |
|
Rob Rix
|
98d4e1dd8f
|
Okay, Xcode whatever you say.
|
2015-10-26 15:34:41 -04:00 |
|
joshvera
|
c310d0064a
|
Merge branch 'master' into parse-json
Conflicts:
.gitmodules
|
2015-10-19 15:14:14 -04:00 |
|
joshvera
|
1e156419aa
|
remove framework search paths
|
2015-10-16 17:29:23 -04:00 |
|
Rob Rix
|
23db982035
|
Stub in RangedDiff.
|
2015-10-16 17:17:48 -04:00 |
|
Rob Rix
|
e438646045
|
Move UnannotatedTerm to its own file.
|
2015-10-16 17:16:34 -04:00 |
|
Rob Rix
|
d18a1a6a0a
|
Stub in diff tests.
|
2015-10-16 17:07:37 -04:00 |
|
Rob Rix
|
8759bf8322
|
Whatever.
|
2015-10-16 17:07:23 -04:00 |
|
Rob Rix
|
e409a4ce56
|
Stub in Term tests.
|
2015-10-16 16:56:30 -04:00 |
|
Rob Rix
|
aec3c72e78
|
Merge branch 'cofree-memoizes' into property-testing
Conflicts:
prototype/Doubt.xcodeproj/project.pbxproj
|
2015-10-16 16:52:42 -04:00 |
|
joshvera
|
94c2c5baee
|
Merge branch 'master' into parse-json
Conflicts:
prototype/Doubt.xcodeproj/project.pbxproj
|
2015-10-16 16:29:25 -04:00 |
|
joshvera
|
295afbef6f
|
Move JSONLeaf and JSONParser to files
|
2015-10-16 15:41:35 -04:00 |
|
Rob Rix
|
c415a6aafd
|
Add a RangedTerm struct wrapping ranged terms.
|
2015-10-16 12:28:16 -04:00 |
|
Rob Rix
|
889f3ffef5
|
Link the tests against SwiftCheck.
|
2015-10-16 11:48:24 -04:00 |
|
Rob Rix
|
690e8ef175
|
Rename AlgorithmTests → InterpreterTests.
|
2015-10-15 18:18:38 -04:00 |
|
joshvera
|
360baa236c
|
parse some jsons
|
2015-10-15 17:40:57 -04:00 |
|
Rob Rix
|
6a955d5e88
|
Stub in Interpreter .
|
2015-10-15 10:45:11 -04:00 |
|
Rob Rix
|
260a317194
|
Merge branch 'master' into restrict-comparisons-by-category
Conflicts:
prototype/Doubt.xcodeproj/project.pbxproj
|
2015-10-15 09:47:49 -04:00 |
|
Rob Rix
|
48234b71c2
|
Remove Hash.
|
2015-10-15 09:44:40 -04:00 |
|
Rob Rix
|
9ac09dea2c
|
Remove Category.
|
2015-10-15 09:40:36 -04:00 |
|
Rob Rix
|
6fcfed8f37
|
Remove Info.
|
2015-10-15 09:39:20 -04:00 |
|
Rob Rix
|
c022085919
|
Merge branch 'master' into restrict-comparisons-by-category
Conflicts:
prototype/Doubt.xcodeproj/project.pbxproj
prototype/Doubt/Fix.swift
|
2015-10-15 09:28:21 -04:00 |
|
Rob Rix
|
cb5dde7bb1
|
Remove Fix.
|
2015-10-15 09:17:55 -04:00 |
|
Rob Rix
|
70b7e56b9c
|
Remove Doc .
|
2015-10-15 08:55:53 -04:00 |
|
Rob Rix
|
eba7c9bfbd
|
Remove DocTests.swift .
|
2015-10-15 08:54:04 -04:00 |
|
Rob Rix
|
606614ffdf
|
🔥 Info.
|
2015-10-14 18:09:24 -04:00 |
|
Rob Rix
|
0c78e344ad
|
Stub in a test suite for Algorithm.
|
2015-10-14 15:57:58 -04:00 |
|
Rob Rix
|
80bda88082
|
Merge branch 'diff-cofree-values' into restrict-comparisons-by-category
Conflicts:
prototype/Doubt/SES.swift
prototype/DoubtTests/SESTests.swift
|
2015-10-14 15:35:18 -04:00 |
|
Rob Rix
|
6f886356aa
|
Add a TermType protocol.
|
2015-10-14 13:52:25 -04:00 |
|
Rob Rix
|
c9134b5867
|
Move Operation into its own file.
|
2015-10-14 11:40:43 -04:00 |
|
Rob Rix
|
1cc879dc5d
|
Merge branch 'master' into restrict-comparisons-by-category
|
2015-10-14 11:19:26 -04:00 |
|
Rob Rix
|
59b60947f9
|
Stub in Cofree.
|
2015-10-14 09:34:18 -04:00 |
|
Rob Rix
|
3238bc14bd
|
Rename Category.swift to Categorizable.swift.
|
2015-10-14 09:02:38 -04:00 |
|
Rob Rix
|
368e700c1a
|
Remove doubt-swift from the project.
|
2015-10-13 21:06:40 -04:00 |
|
Rob Rix
|
9b66e550f3
|
Delete the doubt-swift target.
|
2015-10-13 21:06:21 -04:00 |
|
Matt Diephouse
|
692bb05a4e
|
Merge pull request #96 from github/generalize-array-extension
Generalize array extension
|
2015-10-13 12:48:20 -04:00 |
|
Rob Rix
|
afda174752
|
Rename the file.
|
2015-10-13 01:02:05 -04:00 |
|
Rob Rix
|
a45e286594
|
🔥 String.swift.
Unused.
|
2015-10-13 00:58:35 -04:00 |
|
Rob Rix
|
c72a5e2e85
|
Rename Prelude.swift to Optional.swift.
|
2015-10-13 00:56:27 -04:00 |
|
Rob Rix
|
94182aac35
|
Everything links against the dependencies.
|
2015-10-13 00:53:54 -04:00 |
|
Rob Rix
|
5bf82fd366
|
🔥 Memo and Stream.
|
2015-10-13 00:51:43 -04:00 |
|
Rob Rix
|
cc7538bd40
|
Link against the dependencies.
|
2015-10-13 00:50:15 -04:00 |
|
Rob Rix
|
dd0e21866c
|
Move doubt-swift’s dependencies into its group.
|
2015-10-13 00:19:56 -04:00 |
|
Rob Rix
|
46df3daa08
|
🔥 Parse.swift.
|
2015-10-13 00:05:16 -04:00 |
|
Rob Rix
|
e739fcd2a5
|
Move JSONConvertible into JSON.swift.
|
2015-10-09 08:27:12 -04:00 |
|
Rob Rix
|
04cc6607f3
|
Add JSONConvertible.
|
2015-10-08 07:10:13 -04:00 |
|
Rob Rix
|
0f09ea2201
|
The tests do not depend on SourceKitten.
|
2015-10-08 07:06:46 -04:00 |
|
Rob Rix
|
ea8a4ee360
|
Link Doubt explicitly.
Otherwise dependencies don’t get rebuilt.
|
2015-10-07 19:27:17 -04:00 |
|