How to submit your code

[waterlens]

You should pack your code and upload it like the following.

stu-code.pgp.txt

You will receive your scores after ~2 minutes.

::early-exit::

[github-actions]

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 0 / 1                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 0 / 1                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 0 / 385              │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 1 / 8                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 0 / 385              │ 0 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 0 / 385              │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1 / 1283             │ 0 / 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 : 0 / 100

[github-actions]

This is the test report of your code

lambda
┌───────────────────────┬──────────────────────┬──────────────────┐
│ name                  │ tests passed / total │ score get / full │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex1                │ 0 / 1                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ st_ex2                │ 0 / 1                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ to_locally_nameless   │ 0 / 385              │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ syn_equal             │ 1 / 8                │ 0 / 2            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ free_var              │ 0 / 385              │ 0 / 4            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ from_locally_nameless │ 0 / 385              │ 0 / 10           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_free            │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ subst_bound           │ 0 / 26               │ 0 / 5            │
├───────────────────────┼──────────────────────┼──────────────────┤
│ nf                    │ 0 / 66               │ 0 / 20           │
├───────────────────────┼──────────────────────┼──────────────────┤
│ total                 │ 1 / 1283             │ 0 / 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 : 0 / 100