search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Allow postulates in mutual blocks #977

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 23, 2013 15:48:08

Allow postulates in mutual blocks

Original issue: http://code.google.com/p/agda/issues/detail?id=977

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 23, 2013 09:36:31

See also issue 328 (postulates in mutual lead to internal error).

Issue fixed. Patch will be pushed soon.

Status: Fixed
Owner: andreas....@gmail.com