ksh

[SydD-K]

stu-code.pgp.txt

[github-actions]

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 │ 113 / 385            │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 945 / 1283           │ 30 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 0 / 1                │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 0 / 4                │ 0 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 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     │ 0 / 265              │ 0 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 30 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 0 / 1                │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 0 / 4                │ 0 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 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     │ 0 / 265              │ 0 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 40 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 0 / 100              │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ cFalse'   │ 0 / 1                │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ bool_and' │ 0 / 4                │ 0 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 0 / 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     │ 0 / 265              │ 0 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 40 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 213 / 265            │ 13 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 53 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 7 / 7                │ 7 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 0 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 220 / 265            │ 20 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 60 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 7 / 7                │ 7 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 15 / 15              │ 6 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 265 / 265            │ 30 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 70 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 7 / 7                │ 7 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 15 / 15              │ 6 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 265 / 265            │ 30 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 4 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 4 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 70 / 100

[github-actions]

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 │ 385 / 385            │ 10 / 10          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 26 / 26              │ 5 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1217 / 1283          │ 40 / 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' │ 4 / 4                │ 3 / 3            │
├───────────┼──────────────────────┼──────────────────┤
│ is_zero'  │ 8 / 8                │ 4 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 7 / 7                │ 7 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 15 / 15              │ 6 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 265 / 265            │ 30 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 4 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 4 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 70 / 100