3
I Use This!
Very Low Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 3 days ago.
May 29, 2023 — May 29, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
tests for Decimal More... about 6 years ago
make Dec64 a standard library More... about 6 years ago
support Decimal in prelude More... about 6 years ago
allow us to make our own NumberFormatExceptions More... about 6 years ago
fix #301 provide IEEE floating point constants More... about 6 years ago
fix #301 making words work like in Haskell More... about 6 years ago
handle funny property names correctly in Tools.Quick More... about 6 years ago
Merge pull request #344 from matil019/tick-on-field More... about 6 years ago
Add QuickCheck tests for record types More... about 6 years ago
Add more compilation tests More... about 6 years ago
Comment that 'namedFields' mangles field names More... about 6 years ago
Add a test case for #284 More... about 6 years ago
Make 'namedFields' be 'mangled' More... about 6 years ago
implement relaxed left to right matching order More... about 6 years ago
enhance a doc More... about 6 years ago
correct a few definitions where the pattern compiler is unhappy More... about 6 years ago
treat underline as special symbol More... about 6 years ago
continuing pattern compiler problems More... about 6 years ago
use a more recent compiler in travis More... about 6 years ago
new compiler flag -strictpats More... about 6 years ago
fix #333 by replacing all variables with the product pattern More... about 6 years ago
keep constructor and variable patterns together More... about 6 years ago
correct documentation More... about 6 years ago
make time work again More... about 6 years ago
thoughts on the pattern compiler problem More... about 6 years ago
test code for Issue333.fr More... about 6 years ago
well documented (in German) sort example More... about 6 years ago
patch a More... about 6 years ago
switch to java 1.8 More... about 6 years ago
bump target version for eclipse plugin More... about 6 years ago