awslabs/typecart

Issues

• Feature request: print large functions on multiple lines

  #11 opened 2 years ago by seanmcl
  1

• Tuples result in Combine.dfy that fails the Dafny parser

  #6 opened 2 years ago by mschlaipfer
  1