Paul Chiusano
|
38bb0db8bc
|
prettyprinting of vectors
|
2015-08-13 13:14:08 -04:00 |
|
Paul Chiusano
|
451e777ee8
|
Merge pull request #27 from unisonweb/topic/views
Support for document-formatted operators (DFOs)
|
2015-08-13 12:42:13 -04:00 |
|
Paul Chiusano
|
d23d6ad29b
|
showing term annotations
|
2015-08-10 17:46:45 -04:00 |
|
Paul Chiusano
|
b47162865f
|
cleanup, easy entry point for pretty printing
|
2015-08-10 16:29:01 -04:00 |
|
Paul Chiusano
|
ed41ef10ec
|
let bindings format prettier
|
2015-08-10 15:52:22 -04:00 |
|
Paul Chiusano
|
63e9f729d0
|
term prettyerinter
|
2015-08-10 15:21:23 -04:00 |
|
Paul Chiusano
|
83db86dbf4
|
Term paths may embed type paths, somewhat kludgy will revisit later
|
2015-08-10 14:15:06 -04:00 |
|
Paul Chiusano
|
beccbd1302
|
bit of cleanup of Type prettyerinter
|
2015-08-10 13:52:20 -04:00 |
|
Paul Chiusano
|
6e1618d2dd
|
Rename Rich to DFO
|
2015-08-05 17:43:43 -04:00 |
|
Paul Chiusano
|
4fa9dcf64c
|
Type prettyerinter now does rich symbol layout
|
2015-08-05 00:41:57 -04:00 |
|
Paul Chiusano
|
732f434822
|
Added View () instance, and now using this as the annotation for symbols in the node for now
|
2015-08-04 14:11:59 -04:00 |
|
Paul Chiusano
|
10f2e0b55c
|
Added Terminator view constructor, to allow for things like cons-list rendering
|
2015-07-31 10:49:24 -04:00 |
|
Paul Chiusano
|
de86dee89a
|
More progress on rich function layout
|
2015-07-30 23:00:35 -04:00 |
|
Paul Chiusano
|
682e9b7e8a
|
WIP on rich function rendering support
|
2015-07-30 15:55:20 -04:00 |
|
Paul Chiusano
|
7691613599
|
Merge pull request #26 from unisonweb/topic/annotated-symbols
Make `Term` and `Type` agnostic to the type of variables, in prep for supporting rich function layou
|
2015-07-29 18:16:15 -04:00 |
|
Paul Chiusano
|
a769a58f10
|
Fixed ordering on symbols, all code compiles and tests now pass
|
2015-07-29 18:05:13 -04:00 |
|
Paul Chiusano
|
47b8d6abf1
|
everything compiling, tests failing
|
2015-07-29 17:46:36 -04:00 |
|
Paul Chiusano
|
5f12293447
|
Got rid of superfluous Show constraints
|
2015-07-29 16:21:27 -04:00 |
|
Paul Chiusano
|
5e7b7ab897
|
shared project compiling with new representation of terms
|
2015-07-29 13:04:14 -04:00 |
|
Paul Chiusano
|
23f6ab4e07
|
WIP making ABT trees polymorphic in their variable type
|
2015-07-28 23:12:47 -04:00 |
|
Paul Chiusano
|
2b2d729571
|
Updated README and Vagrantfile
|
2015-07-27 16:47:49 -04:00 |
|
Paul Chiusano
|
c40b1099ec
|
resurrect shell.sh files
|
2015-07-27 10:34:22 -04:00 |
|
Paul Chiusano
|
b858dad784
|
Merge remote-tracking branch 'origin/topic/new-install'
|
2015-07-27 10:26:17 -04:00 |
|
Paul Chiusano
|
aa7d6d6ccd
|
Merge pull request #21 from unisonweb/topic/annotated-abts
Topic/annotated abts
|
2015-07-17 16:30:08 -04:00 |
|
John Ericson
|
5d08df9b7f
|
TEMP WIP commit
|
2015-07-17 00:29:47 -07:00 |
|
John Ericson
|
732fd83ab1
|
Use a newer try-reflex that may help avoid world-rebuilds
Testing building on Darwin and Linux.
|
2015-07-16 13:45:30 -07:00 |
|
Paul Chiusano
|
3a4e671f5f
|
Added kind annotation case to type prettyprinter
|
2015-07-16 13:24:12 -04:00 |
|
Paul Chiusano
|
669bf9133d
|
prettyprinting of types
|
2015-07-15 22:52:01 -04:00 |
|
Paul Chiusano
|
fe3978b801
|
ABT.Term is now a Functor
|
2015-07-15 16:29:00 -04:00 |
|
Paul Chiusano
|
4591ba1193
|
node compiling with annotated abts
|
2015-07-15 16:07:00 -04:00 |
|
Paul Chiusano
|
893d6f7152
|
Added slot for annotations in ABT trees
|
2015-07-15 15:57:05 -04:00 |
|
Paul Chiusano
|
fae4d16049
|
Merge remote-tracking branch 'origin/master'
|
2015-07-15 14:16:19 -04:00 |
|
Paul Chiusano
|
6ca7bc1b00
|
Fixed bug in render' function, added several more tests for Doc library
|
2015-07-15 14:15:16 -04:00 |
|
John Ericson
|
47b2ab9731
|
Add cabal-install to the shell
|
2015-07-14 14:52:45 -07:00 |
|
John Ericson
|
7789867605
|
Copy project subdirs to nix-store seperately
This will prevent changes to one project from forcing all projects to be rebuilt
|
2015-07-14 14:48:00 -07:00 |
|
Paul Chiusano
|
cd384cb9d0
|
Added rendering functions to Doc module
|
2015-07-14 16:59:20 -04:00 |
|
Paul Chiusano
|
f3fe6ed4d9
|
moving Unison.Layout into Unison.Doc module
|
2015-07-14 11:24:55 -04:00 |
|
Paul Chiusano
|
da18c0accd
|
Some test cleanup, WIP on Doc tests
|
2015-07-13 20:28:58 -04:00 |
|
Paul Chiusano
|
210d858724
|
Initial implementation of annotated prettyprinting library (not yet tested)
|
2015-07-13 17:41:49 -04:00 |
|
Paul Chiusano
|
35e947dc4c
|
Added WIP Vagrantfile
|
2015-07-07 22:58:56 -04:00 |
|
Paul Chiusano
|
e9213a8b7f
|
remove outdated stuff from README, move elm-editor related stuff to elm-editor/README rather than polluting main
|
2015-07-07 22:12:25 -04:00 |
|
Paul Chiusano
|
e304522ad4
|
WIP on updating README with build instructions
|
2015-07-07 17:59:10 -04:00 |
|
Paul Chiusano
|
6fcdc581a5
|
Cleanup build, get rid of old shared sandboxes junk
|
2015-07-07 17:36:22 -04:00 |
|
Paul Chiusano
|
bec8e3b90c
|
renamed try-reflex variable in env.nix to unison-dependencies
|
2015-07-07 16:57:38 -04:00 |
|
John Ericson
|
d9b9c53f6c
|
Again remove unneeded Applicative imports
|
2015-07-06 21:28:33 -07:00 |
|
Paul Chiusano
|
2bb29bd131
|
refreshed nix dependencies
|
2015-07-06 20:31:59 -04:00 |
|
Paul Chiusano
|
0e689ee509
|
code changes to get compiling against prelude-extras
|
2015-07-06 19:58:57 -04:00 |
|
Paul Chiusano
|
6c52920d39
|
Node subproject itself now builds
|
2015-07-06 14:54:55 -04:00 |
|
John Ericson
|
19cb1b73f8
|
Update to latest try-reflex
Can now build all deps for node on mac
|
2015-06-27 16:46:18 -07:00 |
|
John Ericson
|
7d554a8611
|
Update try-reflex
|
2015-06-26 09:34:56 -07:00 |
|