<b_jonas> slashlearn farbfeld//zzo38\'s Farbfeld utilities is a package of command-line programs (with rather strange command-line syntax) for manipulating images in a specific raw format called farbfeld. It\'s somewhat underdocumented. http://zzo38computer.org/fossil/farbfeld.ui/home

"per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.