Hi. A definition like proto←{⊃0⍴⍵} (the prototype of ⍵'s elements) implies that it is OK to pick from an empty vector. That caught me by surprise. I had expected an INDEX ERROR, I guess.
@dzaima if so, this would be enough. also, for how important it is, i don't think the search bar should be that tiny & showed in the corner of the screen
@Ven No, the json was made using ⎕JSON⎕CSV on a file saved from Excel. But pretty much everything was hand-typed or copied-and-pasted into Excel by hand.
@Ven Why is that? I was trying to patch stuffin.space so it would run locally, and there were a couple of small changes to get rid of PHP, but then I got stuck when it wouldn't make AJAX calls, and my Google searches got me to "because it's not allowed on file:/// URIs". But why isn't it?
@Ven Oh, I guess if I loaded something from a web page, and that tried to access my local disk, I'd be annoyed. It was all coming from local disk, so security be darned in that case.
@Adám the bitmap font of apl385 for low sizes (and really any bitmap font) are horrible imo. why do they even exist nowadays, or, at least, aren't disable-able easily?
@Adám it is a vector font, but it's also got bitmaps for a couple sizes. zooming in, it's easy to see that one size isn't at all subpixel rendered and is completely pixel aligned, making it look horrible (and even more so for APL chars because the designs are different too)
@ngn Working on it. I want the symbols to be links to their documentation pages, and I want to add drop-down filtering e.g. "operators", "primitives", "syntax". Feel free to contribute.
@ngn oic. I'll try to use that then when I get around to loading the csv from file. How do I split a string into an array of strings on line breaks and then split string into an array of strings on its tabs?
@ngn that requires preprocessing though, and you need to remember to do it before every push, which imo is more of a hassle than running a simple local webserver
@ngn loading the file shouldn't be much of a slowdown at all i'd think
@ngn probably more efficient to have data in a pretty, domain-specific format rather than having the js tokenizer & parser having to go trough the 1000s of characters (both of which should take pretty much 0 time anyways)
ok, performance reasons aside, i think it would be very nice to save a single html file and be able to view it offline. maybe i'm dreaming for too much