kztk-m/flippre

Issues

• Remove `fempty`

  #9 opened 23 days ago by kztk-m
  0

• No runtime/static linearity checking

  #7 opened a month ago by nuernbergk
  3

• Organize code into multiple packages

  #4 opened a month ago by kztk-m
  2

• Build fails on restructure branch

  #6 opened a month ago by nuernbergk
  2

• Bug: Unexpected behaviour of `AM.union` together with `<>`

  #5 opened a month ago by nuernbergk
  1

• Instance resolution for `letr` seems looping

  #3 opened 2 months ago by kztk-m
  1

• What is holding this back?

  #2 opened 9 months ago by BebeSparkelSparkel
  5

• Find an example that requires "<?"

  #1 opened 4 years ago by kztk-m
  0