Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

3200105647 #113

Open
Caicaiziii opened this issue Oct 16, 2022 · 18 comments
Open

3200105647 #113

Caicaiziii opened this issue Oct 16, 2022 · 18 comments

Comments

@Caicaiziii
Copy link

Caicaiziii commented Oct 16, 2022 •
edited
Loading

stu-code.pgp.txt
@Caicaiziii Caicaiziii reopened this Oct 16, 2022
@github-actions
Copy link

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           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 919 / 1283           │ 25 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 10 / 100             │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 19 / 100             │ 0 / 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     │ 42 / 265             │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 34 / 100

@github-actions
Copy link

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           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1191 / 1283          │ 35 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 10 / 100             │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 19 / 100             │ 0 / 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     │ 42 / 265             │ 9 / 30           │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 44 / 100

@github-actions
Copy link

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           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1191 / 1283          │ 35 / 60          │
└───────────────────────┴──────────────────────┴──────────────────┘
arithmetic
┌───────────┬──────────────────────┬──────────────────┐
│ name      │ tests passed / total │ score get / full │
├───────────┼──────────────────────┼──────────────────┤
│ plus'     │ 100 / 100            │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ times'    │ 0 / 100              │ 0 / 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     │ 113 / 265            │ 11 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 46 / 100

@github-actions
Copy link

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           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1191 / 1283          │ 35 / 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 : 48 / 100

1 similar comment
@github-actions
Copy link

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           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1191 / 1283          │ 35 / 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 : 48 / 100

@Caicaiziii
Copy link
Author

stu-code.pgp.txt

@github-actions
Copy link

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           │ 6 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1197 / 1283          │ 35 / 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 : 48 / 100

@github-actions
Copy link

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           │ 3 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1194 / 1283          │ 35 / 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 : 48 / 100

@github-actions
Copy link

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           │ 8 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1199 / 1283          │ 35 / 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 : 48 / 100

@github-actions
Copy link

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           │ 6 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1243 / 1283          │ 35 / 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 : 48 / 100

@github-actions
Copy link

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                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 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

1 similar comment
@github-actions
Copy link

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                    │ 46 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1263 / 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
Copy link

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                    │ 32 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1249 / 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
Copy link

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'  │ 0 / 8                │ 0 / 4            │
├───────────┼──────────────────────┼──────────────────┤
│ pred'     │ 0 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 0 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 1 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 221 / 265            │ 11 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 51 / 100

@github-actions
Copy link

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'     │ 1 / 7                │ 0 / 7            │
├───────────┼──────────────────────┼──────────────────┤
│ sum_u'    │ 2 / 15               │ 0 / 6            │
├───────────┼──────────────────────┼──────────────────┤
│ sum2'     │ 2 / 15               │ 0 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ calc'     │ 15 / 15              │ 2 / 2            │
├───────────┼──────────────────────┼──────────────────┤
│ total     │ 233 / 265            │ 15 / 30          │
└───────────┴──────────────────────┴──────────────────┘
combinators
┌─────────────┬──────────────────────┬──────────────────┐
│ name        │ tests passed / total │ score get / full │
├─────────────┼──────────────────────┼──────────────────┤
│ from_lambda │ 0 / 99               │ 0 / 10           │
├─────────────┼──────────────────────┼──────────────────┤
│ total       │ 0 / 99               │ 0 / 10           │
└─────────────┴──────────────────────┴──────────────────┘
total score : 55 / 100

@github-actions
Copy link

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
Copy link

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                    │ 24 / 66              │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1241 / 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
Copy link

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                    │ 66 / 66              │ 20 / 20          │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1283 / 1283          │ 60 / 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 : 90 / 100

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Caicaiziii