Robbie Gleichman
|
009f7b0b30
|
Add NameAndPort data type. Translate works with simple functions.
|
2016-02-04 21:53:21 -08:00 |
|
Robbie Gleichman
|
d3b38bb491
|
Upgrade to LTS-5.0, start on using haskell-src-exts to generate drawings from text.
|
2016-02-04 00:19:08 -08:00 |
|
Robbie Gleichman
|
3a34c26cdc
|
Changes suggested by -Wall
|
2016-01-26 15:29:02 -08:00 |
|
Robbie Gleichman
|
e8c0910fb2
|
Better point unwrapping.
|
2016-01-26 13:24:10 -08:00 |
|
Robbie Gleichman
|
b04b21b29d
|
Cleanup and add comments.
|
2016-01-23 14:47:02 -08:00 |
|
Robbie Gleichman
|
5e34428b50
|
Remove the backend as an import for all files except Main.hs. Add type signitures.
|
2016-01-22 19:42:15 -08:00 |
|
Robbie Gleichman
|
041032dc94
|
Add Util.hs
|
2016-01-22 18:29:46 -08:00 |
|
Robbie Gleichman
|
fc59d7c82a
|
Merge branch 'master' of github.com:rgleichman/glance
|
2016-01-22 18:29:05 -08:00 |
|
Robbie Gleichman
|
cc058bb321
|
Move toNames and Edge constructors to Util.hs.
|
2016-01-22 18:28:55 -08:00 |
|
Robbie Gleichman
|
4439a9820c
|
Update status image commit
|
2016-01-22 18:10:31 -08:00 |
|
Robbie Gleichman
|
77761e9611
|
Add argument dots to Apply0N. Add a fact2 example that uses the apply argument to distrubute the factorial function argument.
|
2016-01-22 18:08:53 -08:00 |
|
Robbie Gleichman
|
3c105a7a89
|
Fix arrow heads and tails.
|
2016-01-22 17:06:42 -08:00 |
|
Robbie Gleichman
|
f90b39ea6a
|
Update status image commit
|
2016-01-22 01:40:02 -08:00 |
|
Robbie Gleichman
|
b68a9c88d1
|
clean up main. Make arrows slightly smaller.
|
2016-01-22 01:38:28 -08:00 |
|
Robbie Gleichman
|
e2e541a5dc
|
Add color schemes
|
2016-01-21 13:35:34 -08:00 |
|
Robbie Gleichman
|
83780b8e0c
|
Update image in readme
|
2016-01-20 22:50:59 -08:00 |
|
Robbie Gleichman
|
26b88fd14c
|
fix factorial image
|
2016-01-20 22:42:57 -08:00 |
|
Robbie Gleichman
|
225c8179b1
|
Add port bottom of guard. Improve guard icon.
|
2016-01-20 22:39:51 -08:00 |
|
Robbie Gleichman
|
3fb6890d68
|
Add images to readme
|
2016-01-20 21:55:44 -08:00 |
|
Robbie Gleichman
|
da759de89a
|
Add example images.
|
2016-01-20 21:37:38 -08:00 |
|
Robbie Gleichman
|
0d77eaf47a
|
Change EndAp1Arg arrow style.
|
2016-01-20 20:00:53 -08:00 |
|
Robbie Gleichman
|
90cbfbc1f1
|
Use arrow heads and tails for factorial.
|
2016-01-20 19:37:03 -08:00 |
|
Robbie Gleichman
|
9cf6722241
|
Add support for arrow heads and tails.
|
2016-01-20 18:24:42 -08:00 |
|
Robbie Gleichman
|
d5e0b6bf63
|
Add Apply0N, extract types to Types.hs, add end options to Edge type.
|
2016-01-20 16:48:30 -08:00 |
|
Robbie Gleichman
|
e311a9b38f
|
Tell GraphViz to use round nodes.
|
2016-01-19 15:52:56 -08:00 |
|
Robbie Gleichman
|
0985291c80
|
Flip diagrams when that results in shorter line distances.
|
2016-01-19 03:08:53 -08:00 |
|
Robbie Gleichman
|
97c84d27e5
|
Rotate diagrams to minimize total line distance.
|
2016-01-18 23:51:14 -08:00 |
|
Robbie Gleichman
|
4de1e369b1
|
Guards, branch, simple factorial example.
|
2016-01-13 15:08:08 -08:00 |
|
Robbie Gleichman
|
41df0fd9eb
|
Add diagram for guard icon.
|
2016-01-13 13:50:06 -08:00 |
|
Robbie Gleichman
|
954e7c5829
|
Give graphviz the width and height of the nodes.
|
2016-01-13 00:48:35 -08:00 |
|
Robbie Gleichman
|
a8d801e690
|
Create README with build/run instructions.
|
2016-01-11 22:46:01 -08:00 |
|
Robbie Gleichman
|
636a2ee5b0
|
Clean up and test recursive drawings.
|
2016-01-09 19:17:22 -08:00 |
|
Robbie Gleichman
|
2ac3ee04a7
|
clean up
|
2016-01-08 21:52:41 -08:00 |
|
Robbie Gleichman
|
120dc18b88
|
Moved functions from Main to Rendering
|
2016-01-08 19:54:07 -08:00 |
|
Robbie Gleichman
|
f0fdb5829a
|
Recursive layout for lambdas.
|
2016-01-08 17:53:12 -08:00 |
|
Robbie Gleichman
|
ca1caa96b2
|
Clean up graphviz stuff.
|
2016-01-08 02:15:37 -08:00 |
|
Robbie Gleichman
|
0f3c0cf2de
|
Upgrade to lts-4.0. Test using diagrams-graphviz for layout.
|
2016-01-07 17:03:04 -08:00 |
|
Robbie Gleichman
|
1eb21633a1
|
Make lambdaRegion line color white.
|
2016-01-05 16:37:14 -08:00 |
|
Robbie Gleichman
|
13325deb6a
|
Add result icon
|
2016-01-05 16:28:42 -08:00 |
|
Robbie Gleichman
|
65e4a49d05
|
Add lambda icons and lambda regions.
|
2016-01-05 16:22:29 -08:00 |
|
Robbie Gleichman
|
0baabe8573
|
Make lines thicker.
|
2016-01-04 23:41:05 -08:00 |
|
Robbie Gleichman
|
3d28682606
|
Add textBox and connections
|
2016-01-04 23:26:30 -08:00 |
|
Robbie Gleichman
|
95aebaccdc
|
Initial commit
|
2016-01-04 17:18:42 -08:00 |
|