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
432 Commits 419 Branches 90 Tags 365 MiB
75ab876bbc
Commit Graph

432 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
75ab876bbc got rid of root metadata 2015-04-03 19:55:56 -04:00
Paul Chiusano
3ded3c7cbc WIP on Editor.elm 2015-04-03 19:37:44 -04:00
Paul Chiusano
9d5c933289 Converted editable term to use moore machines 2015-03-30 15:59:49 -04:00
Paul Chiusano
d480367ece Updated backend search function to return query along with results 2015-03-27 19:55:18 -04:00
Paul Chiusano
514eb98a8d Filled in todo for processing search results 2015-03-27 19:52:25 -04:00
Paul Chiusano
fc9557a74e Filled in rest of explorer state machine 2015-03-27 17:39:44 -04:00
Paul Chiusano
1e32c57601 Fixed up matcher and integrated into explorer 2015-03-27 16:37:57 -04:00
Paul Chiusano
f74fee13b3 Fixed up matcher 2015-03-27 14:20:45 -04:00
Paul Chiusano
96276dfe27 Added matcher state machine to encapsulate logic for doing searches 2015-03-26 19:56:11 -04:00
Paul Chiusano
7668935821 Accumulating metadata in response to new search results 2015-03-26 17:32:22 -04:00
Paul Chiusano
474c7d4167 Added navigation to term explorer 2015-03-26 17:18:55 -04:00
Paul Chiusano
5dca8e7c78 Rewrote 1D selection in terms of moore machines 2015-03-26 16:17:14 -04:00
Paul Chiusano
17da06ccf0 moar progress 2015-03-26 14:03:21 -04:00
Paul Chiusano
4e74db361c roar progress 2015-03-25 18:42:34 -04:00
Paul Chiusano
585a6eded7 WIP on moore machine representation of explorer 2015-03-25 18:19:51 -04:00
Paul Chiusano
677c82d72c alphabetical order 2015-03-25 18:18:41 -04:00
Paul Chiusano
1d7aabaa9f More progress on term explorer, about to gut to try using moore machines 2015-03-25 16:12:06 -04:00
Paul Chiusano
22ecb35cdd Layout function for term explorer 2015-03-25 12:04:10 -04:00
Paul Chiusano
5475518c01 WIP on modularizing editor 2015-03-24 17:58:00 -04:00
Paul Chiusano
24092b8324 Readded transform and transitions functions 2015-03-23 16:18:55 -04:00
Paul Chiusano
626b7f40ce sip on editor imp 2015-03-23 15:03:00 -04:00
Paul Chiusano
a5ba9d0429 More mealy functions 2015-03-23 15:02:47 -04:00
Paul Chiusano
618dc1969e Lots of additional mealy/moore combinators 2015-03-23 11:08:19 -04:00
Paul Chiusano
7ae58b275b simplifying moore machine input filtering 2015-03-22 00:05:02 -04:00
Paul Chiusano
5b62973259 mealy machines 2015-03-21 23:47:20 -04:00
Paul Chiusano
74157b2994 More moore machine combinators 2015-03-20 14:50:52 -04:00
Paul Chiusano
916de806f5 Moore machine fix 2015-03-19 17:02:37 -04:00
Paul Chiusano
4fc9b9c197 Removed logging statements 2015-03-18 15:59:28 -04:00
Paul Chiusano
9058b5311d More robust handling of raw toggling 2015-03-18 15:39:28 -04:00
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
e4891ba6e7 More efficient version of Trie.mergeDisjoint 2015-03-17 11:29:59 -04:00
Paul Chiusano
a517ea00a9 eliminate some redundant evaluation requests 2015-03-10 22:48:48 -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
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