| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-01-25 | remove idea about moving into GADT | Joey Hess | |
| 2015-01-25 | propellor spin | Joey Hess | |
| 2015-01-25 | propellor spin | Joey Hess | |
| 2015-01-25 | remove toSimpleProp | Joey Hess | |
| It didn't do what I thought it did with a RevertableProperty; it always returned Nothing because even if the input properties to <!> are NoInfo, it casts them to HasInfo. Even if it had worked, it lost type safety. Better to export the Property NoInfo that is used in a RevertableProperty, so it can be used directly. | |||
