#699 Charlie Comment 699 Hey Adam, Nice one, I didn't know about dupd. And thanks for the tip about the docs. I am also looking forward to idris. Have watched a youtube vid about it but not sure that I reallyget dependent typing. url:Seven More Languages: Factor Day One 2015-02-16
Hey Adam,
Nice one, I didn't know about dupd.
And thanks for the tip about the docs. I am also looking forward to idris. Have watched a youtube vid about it but not sure that I reallyget dependent typing.