Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-10-16 | examples | Camil Staps | 3 | -2/+19 |
2016-10-14 | Minor example updates | Camil Staps | 2 | -2/+2 |
2016-10-06 | List notation shortcut (resolves #5) | Camil Staps | 1 | -2/+2 |
2016-10-06 | Adds a trace code | Camil Staps | 1 | -0/+7 |
2016-10-04 | Examples | Camil Staps | 5 | -1/+42 |
2016-09-25 | Added acker and queens examples | Camil Staps | 2 | -0/+40 |
2016-09-25 | Constant code names | Camil Staps | 1 | -0/+3 |
2016-09-24 | Added examples | Camil Staps | 2 | -0/+28 |
2016-09-24 | Removed strictness | Camil Staps | 1 | -10/+0 |
2016-08-28 | Adds an import construct; resolves #1 | Camil Staps | 1 | -0/+2 |
2016-08-26 | Added strictness example | Camil Staps | 1 | -0/+10 |
2016-08-26 | Added twice example | Camil Staps | 1 | -0/+3 |
2016-08-26 | Linking C functions | Camil Staps | 1 | -0/+7 |
2016-08-25 | Added tup example | Camil Staps | 1 | -0/+3 |
2016-08-25 | Added examples | Camil Staps | 2 | -0/+13 |