67 Commits

Author	SHA1	Message	Date
Paul Chiusano	6210f79e87	Added lots of standard library functions	2015-03-18 15:09:00 -04:00
Paul Chiusano	7dff89f405	Simplified signature of reactive views	2015-03-17 15:53:16 -04:00
Paul Chiusano	56bfe34588	reactive values now working!	2015-03-10 19:11:45 -04:00
Paul Chiusano	7cd2ea1fb6	Hooking up new evaluate-terms function	2015-03-10 17:48:55 -04:00
Paul Chiusano	600e84a372	more builtins, WIP on view cycling	2015-03-10 11:55:19 -04:00
Paul Chiusano	aa7c513c18	formatting	2015-03-09 14:51:05 -04:00
Paul Chiusano	c615e237ad	WIP on type application	2015-03-09 14:40:42 -04:00
Paul Chiusano	d5501622ce	refactoring builtins declarations	2015-03-09 11:55:23 -04:00
Paul Chiusano	9d67acd733	Moved to much more reliable and accurate way of filtering by admissible type for global search	2015-03-05 20:23:52 -05:00
Paul Chiusano	3b17a51fa3	More accurate version of admissible type checking WIP	2015-03-05 17:10:39 -05:00
Paul Chiusano	665aa3250c	changed sort order of search results	2015-03-05 16:17:24 -05:00
Paul Chiusano	a3f7c4a180	Nicer formatting of non matching completions	2015-03-05 15:06:58 -05:00
Paul Chiusano	7d152ab09e	Improved sorting of global search	2015-03-05 14:04:17 -05:00
Paul Chiusano	7e749455ce	fixed comment	2015-03-05 11:04:18 -05:00
Paul Chiusano	fbbd31346c	added identity function	2015-03-04 17:38:53 -05:00
Paul Chiusano	7ceedde7fd	text append	2015-03-04 13:58:03 -05:00
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