200 Commits

Author	SHA1	Message	Date
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