I haven't forgotten about minMIKE, but due to unknown bugs, I'm taking a break and working on a Pascal -> 6502 compiler that I might be able to use to create miniMIKE instead :)
