20071012-1 | The Agda Wiki

Exception: src/full/TypeChecking/Primitive.hs:(238,135)-(243,25): Non-exhaustive patterns in lambda

Fixed -- Ulf

Edit | History | Recent Changes (all) | Search

Page last modified on October 16, 2007, at 02:52 pm