search

frankpfenning / C0

C0 Language
4 stars 0 forks source link

Contracts with effects bug (purity checker) #55

Open robsimmons opened 11 years ago

robsimmons commented 11 years ago

This never got filed as an issue, it seems, recording that it exists so we know to track it down.