rgleichman/glance
1
1
Fork 0
mirror of https://github.com/rgleichman/glance.git synced 2024-11-30 14:22:20 +03:00
Code Issues Projects Releases Wiki Activity
52 Commits 1 Branch 0 Tags 1 MiB
8006a97721
Commit Graph

52 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robbie Gleichman
8006a97721 Fix arrow border width. 2016-02-10 00:46:44 -08:00
Robbie Gleichman
43c918300e Fix diagram naming and qualification. Remove Apply0Icon. 2016-02-09 23:50:38 -08:00
Robbie Gleichman
7ff9aed036 Translate identity function. 2016-02-09 22:29:07 -08:00
Robbie Gleichman
d213bf4215 Translate now uses Apply0N 2016-02-09 18:58:28 -08:00
Robbie Gleichman
e374c7ab4e remove unnecassary line 2016-02-08 22:02:53 -08:00
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
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