435 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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