51 Commits

Author	SHA1	Message	Date
Paul Chiusano	68d97a5a7f	Fixed typo causing all arithmetic ops to use addition!	2015-03-04 12:57:52 -05:00
Paul Chiusano	ca35335267	subtraction, multiplication, division	2015-03-04 12:50:22 -05:00
Paul Chiusano	4f5182b7e6	Fixed issue with elaboration of terms	2015-03-04 12:44:10 -05:00
Paul Chiusano	ba51d85f0b	Just successfully added two numbers together, huzzah	2015-03-04 11:27:44 -05:00
Paul Chiusano	5613648bb3	annotating type of builtin + function	2015-03-03 22:50:37 -05:00
Paul Chiusano	72b284f0e1	Metadata no longer contains type annotation	2015-03-03 22:33:07 -05:00
Paul Chiusano	fe9719c8e7	WIP on standard library	2015-03-03 18:18:02 -05:00
Paul Chiusano	a498a1b93f	Fixed issue with getDirectoryContents	2015-03-02 17:26:55 -05:00
Paul Chiusano	0879b69b86	WIP on getting search round trip working	2015-03-02 16:42:19 -05:00
Paul Chiusano	dd8cc18b58	Updated client to deal with new search results API	2015-03-02 14:20:06 -05:00
Paul Chiusano	64f077000d	Renamed a field in search results, and added type annotation to ill-typed terms	2015-03-02 10:46:25 -05:00
Paul Chiusano	488b9e675a	modified signature of search function and provided dumb implementation	2015-02-27 17:41:18 -05:00
Paul Chiusano	bf2f14abc9	Whoops, capture-avoiding beta reduction broke type checker, which was relying on it being dumb; added two versions	2015-02-27 13:47:41 -05:00
Paul Chiusano	361c3ebb45	Hooked up edit actions, including evaluation!	2015-02-27 13:35:34 -05:00
Paul Chiusano	d17685a921	Node code compiling with debruijn-indexed terms	2015-02-24 20:00:31 -05:00
Paul Chiusano	e67c9ab6c9	Removed Term.weaken	2015-02-24 16:34:30 -05:00
Paul Chiusano	9a75ee0613	Various explorer style tweaks	2015-02-23 15:28:16 -05:00
Paul Chiusano	1438ba0d02	Lots of fixes with extracting type information for explorer	2015-02-23 13:04:59 -05:00
Paul Chiusano	d3afacc3d1	Type information sorta working	2015-02-20 20:08:16 -05:00
Paul Chiusano	35d10b1ce7	Beefed up explorer display	2015-02-20 14:08:06 -05:00
Paul Chiusano	301327f29f	Testing in progress	2015-02-18 16:57:13 -05:00
Paul Chiusano	df2dd8948c	Edit requests now being handled; had to make some modifications to node API	2015-02-18 14:42:28 -05:00
Paul Chiusano	25c572fdd2	renamed openEdit to localInfo and cleaned up HTTP server code a bit on node	2015-02-17 15:24:59 -05:00
Paul Chiusano	0671b32521	avoid returning redundant results	2015-02-17 15:11:43 -05:00
Paul Chiusano	55a6650aeb	Updated editor binding to openEdit node function	2015-02-13 18:47:33 -05:00
Paul Chiusano	752b01e24a	Node now has openEdit function	2015-02-13 18:28:51 -05:00
Paul Chiusano	42d43402bf	Added open function to node API	2015-02-12 14:15:35 -05:00
Paul Chiusano	177d4ea41b	Changed Action to preserve typeability	2015-02-11 17:57:37 -05:00
Paul Chiusano	c6277ee3ee	Round trip working with type checker	2015-02-11 14:05:56 -05:00
Paul Chiusano	72a5e9dca2	Switch to using post since browser silently drops GET requests with a body	2015-02-11 11:13:27 -05:00
Paul Chiusano	8e02186a08	Some debugging stuff	2015-02-10 20:44:23 -05:00
Paul Chiusano	8fd0495596	Trying to get round trip working	2015-02-10 20:04:25 -05:00
Paul Chiusano	9064ad7bfd	Added path arg back to searchLocal	2015-02-10 10:52:12 -05:00
Paul Chiusano	579c778428	resurrected searchLocal	2015-02-09 23:33:54 -05:00
Paul Chiusano	fb93c6be0c	Simplified node API slightly	2015-02-09 17:33:29 -05:00
Paul Chiusano	3bcac95fc4	Embracing pixel based units, simplified distance handling	2014-11-21 14:51:03 -05:00
Paul Chiusano	97efc69724	Made Vector a top-level term rather than a Literal	2014-11-19 07:55:33 -05:00
Paul Chiusano	762db366de	Removed Con constructor from Term	2014-11-18 23:40:16 -05:00
Paul Chiusano	19056511b0	Finished plumbing use of Reference type through	2014-11-18 23:34:10 -05:00
Paul Chiusano	336ada05b6	Rewriting backend to work with references WIP	2014-11-18 18:14:00 -05:00
Paul Chiusano	cb2e8a9d4e	Refactoring handling of references on backend	2014-11-18 16:43:34 -05:00
Paul Chiusano	2f90e8ba3f	Plumbed builtins through backend	2014-11-18 14:24:59 -05:00
Paul Chiusano	5b4f0f4caa	Added distances and JSON formats to backend	2014-11-18 12:18:52 -05:00
Paul Chiusano	1291d1d232	Tweaked node API	2014-09-30 13:10:51 -04:00
Paul Chiusano	50fbaaec30	Got rid of panel function and made term and metadata plural	2014-09-25 16:58:34 -04:00
Paul Chiusano	03bed42b71	Changed metadata representation, no longer need ComparablePath hack, as paths not used as dictionary keys	2014-08-28 12:09:00 -04:00
Paul Chiusano	f4af7a937a	Local variables now named according to their path, updated metadata on both node and client	2014-08-27 18:56:53 -04:00
Paul Chiusano	fd25225da1	Paths now can contain indices into vector literals	2014-08-27 13:18:24 -04:00
Paul Chiusano	7d80b672dd	added fixity declarations to metadata	2014-08-26 11:23:23 -04:00
Paul Chiusano	87f787fda7	simplified json representation of var and modified vector literals	2014-07-11 15:18:02 -04:00