Paul Chiusano
|
a688339367
|
Term rendering now working with Layout combinators
|
2014-09-16 23:37:12 -04:00 |
|
Paul Chiusano
|
7bceeaef92
|
finished rewriting term rendering
|
2014-09-15 18:23:26 -04:00 |
|
Paul Chiusano
|
cfe672c730
|
row and column layout functions
|
2014-09-09 19:43:49 -04:00 |
|
Paul Chiusano
|
e7c8d81419
|
flipped order of arguments for Layout, term rendering compiling
|
2014-09-08 22:31:43 -04:00 |
|
Paul Chiusano
|
ae6c9acb1b
|
checkpoint
|
2014-09-08 22:09:55 -04:00 |
|
Paul Chiusano
|
2efa1d4da2
|
tweaking layout
|
2014-09-08 16:52:39 -04:00 |
|
Paul Chiusano
|
6ee83485c8
|
cleanup
|
2014-09-08 11:56:01 -04:00 |
|
Paul Chiusano
|
7957ce77d9
|
region and at functions now both return extra fields along with the search results
|
2014-09-06 11:02:49 -04:00 |
|
Paul Chiusano
|
263d573460
|
Generalized Layout.region to work for any comparison function
|
2014-09-06 10:47:28 -04:00 |
|
Paul Chiusano
|
c6fec22ca4
|
deducing results of ‘at’
|
2014-09-05 23:26:32 -04:00 |
|
Paul Chiusano
|
762a0f66e6
|
layout now a coffee comonad, letting us do hit tests in pure code
|
2014-09-05 23:21:03 -04:00 |
|
Paul Chiusano
|
5d82d9717a
|
layout trie WIP
|
2014-09-04 15:59:29 -04:00 |
|
Paul Chiusano
|
4aefe2e71d
|
trie data type
|
2014-09-04 14:38:10 -04:00 |
|
Paul Chiusano
|
10903125ac
|
nest combinator
|
2014-09-03 17:01:08 -04:00 |
|
Paul Chiusano
|
bfbe7c1f5a
|
Layout lib
|
2014-09-03 16:47:16 -04:00 |
|
Paul Chiusano
|
f8805054f3
|
changes to breaking algorithm puts first arg on same line
|
2014-09-03 14:14:36 -04:00 |
|
Paul Chiusano
|
bae33579c2
|
term rendering with dynamic reflow seems to be working
|
2014-09-02 11:22:43 -04:00 |
|
Paul Chiusano
|
e3d1e9424a
|
lambda breaking
|
2014-08-30 11:24:18 -04:00 |
|
Paul Chiusano
|
309400f109
|
right associated operator chain rendering
|
2014-08-30 08:45:06 -04:00 |
|
Paul Chiusano
|
c5ad0c5cb3
|
Almost done with operator breaking
|
2014-08-29 17:39:19 -04:00 |
|
Paul Chiusano
|
7adbee7ce7
|
sip on break
|
2014-08-29 16:37:02 -04:00 |
|
Paul Chiusano
|
736b2f050a
|
sip on break function
|
2014-08-29 15:20:18 -04:00 |
|
Paul Chiusano
|
20e0ca4930
|
removed unused definition
|
2014-08-29 14:11:44 -04:00 |
|
Paul Chiusano
|
890004f0ae
|
cleanup
|
2014-08-29 14:10:59 -04:00 |
|
Paul Chiusano
|
c5f75a1003
|
term rendering simplified
|
2014-08-29 14:08:18 -04:00 |
|
Paul Chiusano
|
bbb37b17ff
|
color palette
|
2014-08-29 02:56:18 -04:00 |
|
Paul Chiusano
|
56fd15b7ef
|
finished with term rendering function (draft)
|
2014-08-29 02:56:01 -04:00 |
|
Paul Chiusano
|
bfa4ee1e88
|
rendering of bracketed lists
|
2014-08-29 01:48:40 -04:00 |
|
Paul Chiusano
|
c8abe15da6
|
generalized operator term rendering to work with both fixities
|
2014-08-28 15:22:46 -04:00 |
|
Paul Chiusano
|
0655bfa81b
|
operator chain breaking
|
2014-08-28 15:16:27 -04:00 |
|
Paul Chiusano
|
2de85ade3a
|
doing local name lookup properly
|
2014-08-28 13:17:53 -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
|
54a79c8a9a
|
Paths and term literals now use arrays rather than linked lists
|
2014-08-28 10:59:40 -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
|
c7c65050d2
|
term rendering WIP
|
2014-08-26 17:36:38 -04:00 |
|
Paul Chiusano
|
7d80b672dd
|
added fixity declarations to metadata
|
2014-08-26 11:23:23 -04:00 |
|
Paul Chiusano
|
6f3a74242d
|
worked out signature for term rendering
|
2014-08-25 21:58:42 -04:00 |
|
Paul Chiusano
|
7d7513f1c4
|
working on term rendering
|
2014-08-25 16:30:24 -04:00 |
|
Paul Chiusano
|
26401b1ec7
|
working on term rendering
|
2014-08-25 13:18:35 -04:00 |
|
Paul Chiusano
|
23c59d80c9
|
filled in todo in json parser for objects
|
2014-08-22 15:46:50 -04:00 |
|
Paul Chiusano
|
5dbb49e8a7
|
finished with node API
|
2014-07-13 11:08:17 -04:00 |
|
Paul Chiusano
|
dd22538c78
|
moar progress
|
2014-07-13 10:14:44 -04:00 |
|
Paul Chiusano
|
8d7e549528
|
halfway through client-side node api
|
2014-07-13 10:13:23 -04:00 |
|
Paul Chiusano
|
9e9527c352
|
started on implementation of asynchronous node interface
|
2014-07-12 13:50:11 -04:00 |
|
Paul Chiusano
|
1f71b661aa
|
finished with jsonifiers
|
2014-07-12 12:35:22 -04:00 |
|
Paul Chiusano
|
a5960bc9f3
|
finished with term and type jsonifiers
|
2014-07-12 12:00:39 -04:00 |
|
Paul Chiusano
|
eb3241f179
|
working on jsonifiers
|
2014-07-12 11:23:10 -04:00 |
|
Paul Chiusano
|
47583148ab
|
cleanup of parsers
|
2014-07-12 10:45:29 -04:00 |
|
Paul Chiusano
|
e188798850
|
simplified JSON parsers
|
2014-07-12 10:43:25 -04:00 |
|