40 Commits

Author	SHA1	Message	Date
Robbie Gleichman	30a0ab87d2	Fix recursive functions.	2016-02-08 21:54:23 -08:00
Robbie Gleichman	d08c9733ad	Rudimentry function translation.	2016-02-07 18:01:57 -08:00
Robbie Gleichman	6f6bca90a0	Handle parentheses. Test multiple declarations.	2016-02-05 22:39:05 -08:00
Robbie Gleichman	6cda91bbb1	Use State monad for unique ids.	2016-02-05 21:07:06 -08:00
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	cc058bb321	Move toNames and Edge constructors to Util.hs.	2016-01-22 18:28:55 -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	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	225c8179b1	Add port bottom of guard. Improve guard icon.	2016-01-20 22:39:51 -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	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