Robbie Gleichman
|
7468166f14
|
Update todo.
|
2017-01-02 00:41:26 -08:00 |
|
Robbie Gleichman
|
9702cabc29
|
Add parameter names to lambda icon.
|
2017-01-01 17:43:00 -08:00 |
|
Robbie Gleichman
|
3ed4c846bb
|
Remove hardcoded port numbers from Translate.hs.
|
2016-12-29 00:15:17 -08:00 |
|
Robbie Gleichman
|
6c5663dccf
|
Revise tutorial.
|
2016-12-28 19:05:43 -08:00 |
|
Robbie Gleichman
|
771f9a7cc3
|
For SyntaxGraph, rename sgSources to sgBinds, and use a data type (SgBind) instead of a tuple.
|
2016-12-26 16:37:10 -08:00 |
|
Robbie Gleichman
|
1fb31aaf81
|
Rearrange Translate.hs.
|
2016-12-26 01:25:14 -08:00 |
|
Robbie Gleichman
|
5754fa6560
|
Update todo.
|
2016-12-26 00:12:55 -08:00 |
|
Robbie Gleichman
|
c426ff422a
|
Fix @ (as patterns).
|
2016-12-25 21:45:58 -08:00 |
|
Robbie Gleichman
|
e876c6c401
|
Don't allow guards to embed PApps.
|
2016-12-25 17:24:26 -08:00 |
|
Robbie Gleichman
|
d7eb3749d9
|
Make the args of pattern apply nodes vertical to make embedding cases nicer.
|
2016-12-25 17:08:11 -08:00 |
|
Robbie Gleichman
|
79c15e2e86
|
Reflect the angles of the inner icons for nestedGuardPortAngles.
|
2016-12-24 16:05:15 -08:00 |
|
Robbie Gleichman
|
4ca53c58c4
|
Allow case icon to embed apply and pattern apply icons.
|
2016-12-24 14:46:53 -08:00 |
|
Robbie Gleichman
|
961879049a
|
Rename todo.txt as todo.md.
|
2016-12-22 19:07:30 -08:00 |
|