constructor application

This commit is contained in:
Dustin Swan 2026-02-01 19:47:53 -07:00
parent aace8a5a77
commit 232d9351c1
No known key found for this signature in database
GPG key ID: 30D46587E2100467
2 changed files with 19 additions and 1 deletions

View file

@ -37,3 +37,11 @@ e(`factorial = n \\ n
| n \\ n * factorial (n - 1);
factorial 5`)
e(`factorial = n \\ n
| 0 \\ 1
| n \\ n * factorial (n - 1);
factorial 5`)
e('some5 = Some 5; some5');