Conversation

Great talk by

. I want this kind of program development experience for dependently typed programming: youtube.com/watch?v=baxtye

Downloaded Pharo again today to give it another whirl. It has a pretty neat interactive tutorial!