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 |
|