Great talk by . I want this kind of program development experience for dependently typed programming:
youtube.com/watch?v=baxtye
Conversation
Replying to
Downloaded Pharo again today to give it another whirl. It has a pretty neat interactive tutorial!
2