Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

AI use, as the source states it

“A type checker for GLP was implemented by AI (Claude) in Dart, starting from the mathematical specification of Typed GLP (this paper), deriving from it an English+pseudocode spec (written by AI), and from the spec deriving Dart code (by AI).”

Model: Claude, as stated