| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 01_basic_proof.txt | 1073 | log stats plain blame |
| -rw-r--r-- | 01_basic_proof_compat.txt | 1214 | log stats plain blame |
| -rw-r--r-- | 02_recursion_demo.txt | 640 | log stats plain blame |
| -rw-r--r-- | 03_data_demo.txt | 733 | log stats plain blame |
| -rw-r--r-- | 04_simple_functions.txt | 704 | log stats plain blame |
| -rw-r--r-- | 05_loops_and_state.txt | 2369 | log stats plain blame |
| -rw-r--r-- | 05_loops_and_state_compat.txt | 3110 | log stats plain blame |
| -rw-r--r-- | 06_lambda_calculus.txt | 2344 | log stats plain blame |
| -rw-r--r-- | 07_complex_algorithms.txt | 3045 | log stats plain blame |