pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 19:17:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs(ltl): add package doc to temporal logic evaluator

Browse Source
This commit is contained in:
pj committed 2026-06-01 22:46:35 +05:30
1 parent 546f623c04
commit f21028b26e
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
internal/ltl/evaluator.go
+1
View File
@@ -1,3 +1,4 @@
// Package ltl evaluates linear temporal logic formulas incrementally over observed steps.
package ltl
import (