?

Log in

No account? Create an account
Working on automating visualization of lambda terms since I couldn't… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Mar. 16th, 2016|09:01 pm]
Jason
[Tags|]

Working on automating visualization of lambda terms since I couldn't convince graphviz to do it the way I wanted:
LinkReply

Comments:
From: aleffert
2016-03-18 03:48 am (UTC)
These look way better than the lambda term visuals I generated recently http://aleffert.livejournal.com/164027.html

Kind of look like an alphabet
(Reply) (Thread)
From: eub
2016-03-18 07:51 am (UTC)
Tree-branching ogham. Or fingerprints were my sight.
(Reply) (Parent) (Thread)
[User Picture]From: jcreed
2016-03-18 03:02 pm (UTC)
oh that's right! I forgot you did that despite it being so recent.

I have the unfair advantage though in this case that all the terms depicted above satisfy an invariant from ordered logic so that no lines ever cross.
(Reply) (Parent) (Thread)