Commit Graph

7 Commits

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