読みたい Programming Language Foundations in Agda – Table of Contents

「プログラミング言語は厳密にはパイソンではありませんが、パイソンIntelliSenseが利用できる程度には似ています。」