Write an intro to Ltac2 as a ML language, for people that have ever seen a ML language as a preliminary to read before reading Ltac2 basics
Write an intro to Ltac2 as a ML language, for people that have ever seen a ML language as a preliminary to read before reading Ltac2 basics