These videos where recorded from NiMoToons v1.0 as executions examples. More videos are comming to show program construction and type inference.