4th

[kennyian]

stu-code.pgp.txt

[github-actions[bot]]

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 1 / 1                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 8 / 8                │ 2 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 385 / 385            │ 4 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 0 / 385              │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 6 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 812 / 1283           │ 25 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 1 / 1                │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 0 / 4                │ 0 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 7 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 208 / 265            │ 6 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 31 / 100