older newer index
65-page #PDF thesis #paper on #formal-methods #Ethereum #smart-contracts development with #Idris. I think this is the first two-author thesis I’ve seen.
how to run the #J1 #Forth simulator on MacOS under gforth