raichoo / 31c3slides Goto Github PK

Forgot to git add, perhaps?

(Took me a while to figure out what all those

Main.idr:92:8:When elaborating right hand side of slides:
Can't unify
    Vect (fromInteger 5 + (fromInteger 6 + (fromInteger 11 + (fromInteger 1 + (fromInteger 1 + fromInteger 2))))) Slide
with
    Vect (plus (length intro) 21) Slide

mean, especially as I would expect idris to figure out that intro can't be Vect 5 Slide with only 4 list items. But I know nothing at all about it, I hope to learn on the train tomorrow. :-))