Wizardlike software

05/28/2010

07:50 am Pola FICS2010.pdf

04/05/2010

12:45 pm Pola MFPS2010.pdf

04/02/2010

04:21 pm Pola Bug #14: Disallow non-existent constructors in folds

One should not be allowed to do:...

03/04/2010

02:43 pm Pola Wiki edit: Getting_started (#9)

02:41 pm Pola Wiki edit: Getting_started (#8)

01/30/2010

09:56 am Pola Bug #13: Variables aren't consumed properly in peeks

Fix for inductive types is done and will be in the next revision. Coinductive will wait a wee bit....

08:52 am Pola Bug #13 (New): Variables aren't consumed properly in peeks

Better example:...

08:45 am Pola Bug #13 (Resolved): Variables aren't consumed properly in peeks

Okay the case example can't work either since _y_ can't be used in an o context. I'll close this until I can find an ...

08:26 am Pola Bug #13: Variables aren't consumed properly in peeks

Actually the example should be:...

07:02 am Pola Bug #13: Variables aren't consumed properly in peeks

We should be doing a context intersection at the end of each peek but we aren't. Consider the following example:
<...