diff --git a/internal/ltl/evaluator.go b/internal/ltl/evaluator.go
index 79224c7..01589b0 100644
--- a/internal/ltl/evaluator.go
+++ b/internal/ltl/evaluator.go
@@ -1,3 +1,4 @@
+// Package ltl evaluates linear temporal logic formulas incrementally over observed steps.
 package ltl
 
 import (