Scheming a mise-en-abîme in BQN(panadestein.github.io)38 points by todsacerdoti 1 year ago | 0 comments
A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)71 points by ingve 2 years ago | 42 comments
Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments