informalsystems/itf-rs

Issues

• Support traces with sum types

  #11 opened a year ago by hvanz
  2

• Re-export `serde_with::Same`

  #8 opened a year ago by rnbguy
  0

• Add derive support for actions

  #1 opened 2 years ago by romac
  0