#Kripke semantics may be the #logic I need for #Jaakko or other incarnations of “principled #APL”. #array-languages
on 02026-01-06An implementation of #J in J itself. #array-languages
on 02025-12-14#razetime’s notes on #performance in ngn K #array-languages #toread
on 02025-08-27discussion of #array-languages and #performance recommending Uiua and mourning "razetime"
on 02025-08-27