Project

General

Profile

« Previous | Next » 

Revision 43194ed2

ID43194ed2e6c40e8384f3622adf2fd6f14623ef93
Parent 92feed46
Child 854e1338

Added by Christoph Egger over 3 years ago

Add Closure for plain Variables

As there should never be free variables in formulas within the
FL-Closure maybe we should rather signal an error here?

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences