Oct
07
Indexing Arrays
Lately I have been working on formalizing APL. One of the core problems related
to the formalization of APL is
4 min read
formalism
Jun
03
Playing with Isar
Handwritten versions: Pg. 1 [https://www.sacrideo.us/v5/imgs/blog/isar_fact/pg1.jpg], Pg.
2 [https://www.sacrideo.
2 min read