I started out thinking that too , but the more I thought about it , it ' s not so much that he could do it . It ' s that he DID do it . <| sep |> Haha nah , just remember that crap being all over the news back then . Crazy what sticks with you . <| sep |> I thought the same but I ' ve seen plenty today that have gone for 89 keys , so I think the price has inflated a bit <| sep |> Yeah , you can do so in Agda and the total subset of Idris too , with corecursion . <| sep |> Yes ! I got back into retro going recently like alot of people and tried playing on my OLED TV set and it just wasn ' t working out . I found a guy with a bunch of PVMBVM monitors in storage . I ' ve been using this PVM while I wait for my SNES Mini to get rgb modded . It ' s like candy for your eyes !