Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Is There a Single Colon on for Lists?
Having two callins fora tape innotation is a mistake. It was historically the right choice of the timeas the sa othe people don't know why it has two colons instead of one. Haskall, i think i'm writing a lot more types than lists, so it's the other way round. Thats that that study meream world. But would be nice to have o, y, i have a bunch of a yes or no, quite. I won't letter. May be a little bit silly that im gain to it. Can refuse caser or expand so a, does idress compile to php? Yes and no. In that can generate p hp
Transcript
Play full episode
