unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-27 02:07:14 +03:00
Code Issues Projects Releases Wiki Activity
397 Commits 419 Branches 90 Tags 365 MiB
e9e0de2e16
Commit Graph

397 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
e9e0de2e16 WIP on adding reactive evaluation 2015-03-10 15:43:27 -04:00
Paul Chiusano
d4876d3b58 view toggling is now working 2015-03-10 14:58:58 -04:00
Paul Chiusano
600e84a372 more builtins, WIP on view cycling 2015-03-10 11:55:19 -04:00
Paul Chiusano
6fc6fb2d24 Workaround bug in Array.map/indexedMap 2015-03-09 19:47:34 -04:00
Paul Chiusano
3a74a00b37 Round trip with vector inference half-working 2015-03-09 17:09:32 -04:00
Paul Chiusano
b16003c2c4 plumbed type application through front end 2015-03-09 15:10:26 -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
791f0683e4 Added support for raw rendering of terms 2015-03-09 11:15:48 -04:00
Paul Chiusano
1df8afb9ce explorer layout tweaks 2015-03-09 09:58:48 -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
10de494ecd UI tweaks 2015-03-05 16:05:28 -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
4a0193a470 cleanup 2015-03-04 17:50:32 -05:00
Paul Chiusano
fbbd31346c added identity function 2015-03-04 17:38:53 -05:00
Paul Chiusano
41954bb504 fix issue with literal type checking for strings 2015-03-04 14:09:02 -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
942463e908 Tweaked type pretty printing to be prettier 2015-03-04 11:54:30 -05:00
Paul Chiusano
ba51d85f0b Just successfully added two numbers together, huzzah 2015-03-04 11:27:44 -05:00
Paul Chiusano
e9c3b3f1cf Fixed issue that would cause duplicate search requests 2015-03-04 11:00:41 -05:00
Paul Chiusano
9b47f4b614 Some cleanup of old debugging statements 2015-03-04 10:06:07 -05:00
Paul Chiusano
5613648bb3 annotating type of builtin + function 2015-03-03 22:50:37 -05:00
Paul Chiusano
5e209234bf Updated front end Metadata 2015-03-03 22:35:12 -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
ae9752b815 Search requests now fully threaded through the editor 2015-03-02 15:23:36 -05:00
Paul Chiusano
c21d774f98 Invalid completions now shown in explorer 2015-03-02 14:41:16 -05:00
Paul Chiusano
dd8cc18b58 Updated client to deal with new search results API 2015-03-02 14:20:06 -05:00
Paul Chiusano
c8d84b8ce9 Updated Node API client side to match new signature for search function 2015-03-02 11:01:19 -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
9c3919c5f6 Added example which demonstrates that beta reduction works when arg has free variables 2015-02-27 14:02:52 -05:00
Paul Chiusano
e54caf3185 fixed issue that would cause explorer to mishandle trailing spaces in string literal entry 2015-02-27 13:52:44 -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
e8c3350b2c Lots of tweaks to editor interactions 2015-02-27 11:48:51 -05:00
Paul Chiusano
87ea464c0c handling infix operators in search box now 2015-02-27 01:07:48 -05:00
Paul Chiusano
4bebb003bb fixed UI glitch in displaying of explorer completions 2015-02-26 17:31:55 -05:00
Paul Chiusano
5322e1d670 Fixed issue with explorer literal parsing 2015-02-26 17:26:34 -05:00
Paul Chiusano
e7ba28c9d7 float before int, otherwise ambiguity 2015-02-26 16:57:45 -05:00