Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-04-21 | Add fixpoint peano addition example | Camil Staps | 1 | -0/+21 | |
2018-04-03 | Add fix and scan_iterate examples | Camil Staps | 3 | -0/+16 | |
2018-04-03 | Extend examples | Camil Staps | 3 | -3/+11 | |
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 | |