MiniAgda-0.2014.1.9: test/fail/MeasureInValue.err
MiniAgda by Andreas Abel and Karl Mehltretter --- opening "MeasureInValue.ma" --- --- scope checking --- scope check error: f /// measure not allowed in expression (|i| -> CoSet 0)
MiniAgda by Andreas Abel and Karl Mehltretter --- opening "MeasureInValue.ma" --- --- scope checking --- scope check error: f /// measure not allowed in expression (|i| -> CoSet 0)