Rúnar
4d6c63f720
Create LanguageReference.md
2019-07-29 17:30:59 -04:00
Paul Chiusano
7cdf6648a5
Update v0-DRAFT.markdown
2019-06-11 17:51:36 -04:00
Paul Chiusano
8b51463f52
Update v0-DRAFT.markdown
2019-06-10 11:01:03 -04:00
Paul Chiusano
1ad3c77c2c
Update v0-DRAFT.markdown
2019-06-10 11:00:26 -04:00
Paul Chiusano
f930e207a6
Update v0-DRAFT.markdown
2019-06-10 10:58:22 -04:00
Paul Chiusano
6fc02bcdb2
Update and rename v1.markdown to v0-DRAFT.markdown
2019-06-10 09:39:53 -04:00
Paul Chiusano
9a1c4a6268
Create v1.markdown
2019-06-10 09:16:50 -04:00
Arya Irani
4d8ce0c77d
populate new codebase terms/types/dependents for builtins/iosource
2019-06-09 14:20:27 -04:00
Arya Irani
cb1b42020e
culled down the list of Actions
2019-05-20 17:01:15 -04:00
Arya Irani
3159344890
Merge remote-tracking branch 'origin/master' into wip/branchless
2019-05-15 11:07:17 -04:00
Paul Chiusano
7637859b90
Update metadata.markdown
2019-05-13 13:11:59 -04:00
Paul Chiusano
06220e012f
Update metadata.markdown
2019-05-13 10:01:24 -04:00
Paul Chiusano
1aa288a1f9
Create metadata.markdown
2019-05-13 09:43:27 -04:00
Arya Irani
e091bc065f
noncompiling wip from genius bar
2019-05-09 19:22:45 -04:00
Arya Irani
aa29b68f0f
Merge branch 'wip/branchless' of github.com:unisonweb/unison into wip/branchless
2019-05-09 15:02:05 -04:00
Arya Irani
e67f2b75c3
wip
2019-05-09 15:00:43 -04:00
Arya Irani
35e4ddbb83
some stuff
2019-05-06 16:30:24 -04:00
Arya Irani
872ab1f7c6
.
2019-05-03 08:36:22 -04:00
Arya Irani
1f7c03ede5
MonadUnliftIO, FileCodebase2, etc
2019-05-03 08:32:32 -04:00
Paul Chiusano
647add353e
Merge remote-tracking branch 'origin/wip/branchless' into topic/watches
...
# Conflicts:
# docs/branchless.md
# parser-typechecker/src/Unison/Codebase.hs
# parser-typechecker/src/Unison/Codebase/Editor.hs
2019-05-01 16:49:12 -04:00
Arya Irani
5e27024558
hooray
2019-04-30 15:51:21 -04:00
Arya Irani
f163604477
add pchiusano & atacratic comments
2019-04-26 14:53:34 -04:00
Paul Chiusano
dffd368b98
Update branchless.md
2019-04-25 17:52:08 -04:00
Arya Irani
35151ba300
branch2 & causal2 stuff
2019-04-25 17:38:00 -04:00
Paul Chiusano
258009d9fd
Update branchless.md
2019-04-25 13:24:25 -04:00
Runar Bjarnason
cc950164ed
Causal2
2019-04-24 15:37:34 -04:00
Arya Irani
bbe47f6478
wip
2019-04-24 12:04:46 -04:00
Arya Irani
bb7d72dd7d
wip
2019-04-23 22:03:24 -04:00
Arya Irani
315d32bef9
wip
2019-04-23 13:59:00 -04:00
Arya Irani
fbfc487dc5
wip
2019-04-23 10:58:49 -04:00
Arya Irani
962d0aeec9
branchless draft
2019-04-22 12:28:28 -04:00
Arya Irani
d2fc1ff866
formatting
2019-04-16 17:17:32 -04:00
Paul Chiusano
c397f5f07f
Update comments-and-docs.markdown
2019-04-16 11:58:17 -04:00
Paul Chiusano
18c767409b
Comments and documentation early design work
...
@runarorama did most of the work here, with @aryairani and @pchiusano adding markdown comments (see raw source)
2019-04-16 11:56:16 -04:00
Arya Irani
6a52723bc0
docs: minor changes
2019-04-16 11:01:46 -04:00
Arya Irani
45b0dbce25
docs: publishing an updated library
2019-04-16 00:16:36 -04:00
Arya Irani
dd4d6ded8e
docs: using library code
2019-04-15 18:42:06 -04:00
Arya Irani
b15f5588c7
docs: publishing toc
2019-04-15 18:37:07 -04:00
Paul Chiusano
62bb8f06ad
Update type-declarations.markdown
2019-04-09 09:43:15 -04:00
Paul Chiusano
1696c442de
Update ability-typechecking.markdown
2019-04-08 11:38:32 -04:00
Paul Chiusano
97b1e839ea
Create ability-typechecking.markdown
2019-04-08 11:34:06 -04:00
Arya Irani
1e5d3fae0c
type-declarations.markdown
2019-04-01 14:45:59 -07:00
Arya Irani
7cff8a6884
docs
2019-04-01 14:36:15 -07:00
Arya Irani
4fa2eacc35
Merge remote-tracking branch 'origin/master'
2019-04-01 13:18:09 -07:00
Arya Irani
6be8cba7e7
update type-declarations.markdown
2019-04-01 12:55:28 -07:00
Paul Chiusano
f6dfa4db45
Create testing.markdown
2019-03-29 11:54:44 -04:00
Paul Chiusano
dafe9419ea
we think we fixed issues with branches not being saved to disk
...
The new approach is that CommandLine.main reads the loop state at each step and makes sure that the info is propagated as needed (to the autocomplete provider and also the file system listener that awaits new branch files arriving externally).
2019-03-04 16:56:35 -05:00
Paul Chiusano
446d8815ea
MergeBranch command is now SyncBranch, added some docs
2019-03-04 15:30:44 -05:00
Arya Irani
d4d7bf4493
add some doc links to Find.hs
2019-03-04 13:59:23 -05:00
Arya Irani
f4d0266953
update docs and remove definition aliases comment from wrong part of output
2019-03-02 10:56:26 -05:00
Arya Irani
25481aa691
Simplified search heuristic, added some minimal docs
2019-03-01 19:54:30 -05:00
Arya Irani
8422a34d44
wip
2019-02-12 10:11:18 -05:00
Arya Irani
55d608a21a
add post-runthru comments
2019-02-06 17:36:47 -05:00
Arya Irani
a010695dba
idk
2019-02-06 15:03:56 -05:00
Arya Irani
f2572c6566
tabs vs spaces
2019-02-06 15:00:22 -05:00
Arya Irani
72070d4984
formatting
2019-02-06 14:55:55 -05:00
Arya Irani
80ce7f6c1a
distributed api discussion v1
2019-02-06 14:54:03 -05:00
Paul Chiusano
f7a7f2aa7c
some additional notes
2019-01-08 10:22:30 -05:00
Paul Chiusano
1e8c4ad639
Added data-types.markdown
2019-01-08 10:19:01 -05:00
Noah Haasis
75d56ca03b
Fix typo
2018-12-18 05:40:55 +01:00
Arya Irani
bc65f460a7
start of doc on type decls
2018-11-20 18:15:07 -05:00
Paul Chiusano
dd14d1cfa5
Q&A section added to doc
2018-10-02 12:19:55 -04:00
Paul Chiusano
e9f375f9d9
some more notes
2018-10-01 17:19:22 -04:00
Arya Irani
7fba4e3e09
added a few things
2018-09-19 17:58:39 -04:00
Paul Chiusano
9e19f0cfb7
cleaned up denotation and provided 'spec' implementations of various operations
2018-09-19 13:41:34 -04:00
Paul Chiusano
6b0d3292ee
some more cleanup
2018-09-18 19:51:00 -04:00
Arya Irani
ee7e2f0eba
some cleanup
2018-09-18 18:57:33 -04:00
Arya Irani
4e98431e00
lots of design churn, this doc is currently a mess but we might be getting somewhere
2018-09-18 16:11:11 -04:00
Arya Irani
af1944901c
wip from yesterday
2018-09-18 10:20:06 -04:00
Arya Irani
8ba5359c86
some wordsmithing
2018-09-14 17:04:46 -04:00
Paul Chiusano
b83f8a640f
finished rough draft
2018-09-14 15:43:08 -04:00
Paul Chiusano
a3ed180ff1
more progress
2018-09-14 11:52:37 -04:00
Paul Chiusano
1735e73a21
Merge branch 'topic/codebase-editor' of github.com:unisonweb/unison into topic/codebase-editor
...
# Conflicts:
# docs/codebase-editor-design.markdown
2018-09-13 19:16:06 -04:00
Paul Chiusano
f553f072f3
WIP writeup
2018-09-13 17:34:50 -04:00
Paul Chiusano
25af7ddaa2
Update codebase-editor-design.markdown
2018-09-07 11:49:34 -04:00
Paul Chiusano
460c656bf5
codebase editor design notes (very rough)
2018-09-06 18:43:19 -04:00
Arya Irani
f4038c42bb
partial implmentation for self-tailcalls in general letrec; eliminate tailcalls for builtins
2017-09-10 20:58:30 -04:00
Arya Irani
7efffa1131
assert we don't annotate a term having free vars + other debug output
2017-08-27 13:51:52 -04:00
Arya Irani
b2ed83c929
initial distributed garbage collection writeup
2017-06-05 17:30:03 -04:00
Paul Chiusano
9906d43de9
Updated RFC
2017-02-22 20:39:07 -05:00
Paul Chiusano
4b4da116cb
rename reset => bump
2017-02-15 13:37:38 -05:00
Paul Chiusano
f0d0d9f920
Updated RFC
2017-02-15 13:34:55 -05:00
Paul Chiusano
5a44332229
original version of rfc see #141
2017-02-10 16:13:08 -05:00