Skip to content

Update Trealla + terms.PI

Compare
Choose a tag to compare
@guregu guregu released this 21 May 08:25
· 174 commits to main since this release
  • Update Trealla to latest
  • Add terms.PI, helpful for writing predicates (grabbing the goal's predicate indicator for error context)