3 ms·
It doesn't let me edit text on iphone 6, and Can you show example with large number of nodes and then I may use it
by zubairq 9y ago
It doesn't let me edit text on iphone 6, and Can you show example with large number of nodes and then I may use it
- hcs 9y agoTesting with more nodes is definitely on the horizon, that's the main reason for the zoom (besides being visually interesting). Can you suggest a good data set? You may have to tap on the text box to get the edit to work and engage your keyboard, the auto focus seems to work only about half the time on Firefox for Android so I expect it is problematic on various browsers. Thanks for the feedback!
- amccloud 9y agoWhat about a Sierpinski triangle?
- hcs 9y agoI've got a fairly large example [1] in place now, 128 nodes directly under the root, it is the proof assistant from The Little Prover [2]. I hacked at this a bit to get the framerate usable. Make of it what you will, I find it neat but overwhelming, and this is only 128 definitions. [1] https://gashlin.net/tests/ecola/langston/dist/ https://gashlin.net/tests/ecola/langston/dist/ [2] http://the-little-prover.github.io/ http://the-little-prover.github.io/