Published February 27, 2026 | Version v1
Software Open

Unifying Hindsight and Foresight (Artifact)

Authors/Creators

  • 1. ROR icon Portland State University
  • 2. ROR icon University of Portland

Files

unifying-hindsight-and-foresight.zip

Files (50.2 kB)

Name Size Download all
md5:cd530c44c8dad95b7d8c6d46530fd375
50.2 kB Preview Download

Additional details

Software

Repository URL
https://github.com/heraplem/unifying-hindsight-and-foresight
Programming language
Agda