|
lambda_calculus.crf
|
Updata lambda calculus example
|
2023-05-25 10:18:02 +02:00 |
|
lambda_calculus.ll
|
Update lambda interpreter example
|
2023-05-24 23:50:01 +02:00 |
|
lambda_calculus.sh
|
Added demo helper scripts
|
2023-05-25 11:39:48 +02:00 |
|
quicksort.crf
|
quicksort ready for demo
|
2023-05-25 11:24:28 +02:00 |
|
quicksort.sh
|
Added demo helper scripts
|
2023-05-25 11:39:48 +02:00 |
|
rank2
|
Add examples of higher ranked polymorphism
|
2023-05-24 22:12:45 +02:00 |
|
rank2.crf
|
Add examples of higher ranked polymorphism
|
2023-05-24 22:12:45 +02:00 |
|
rank4
|
Add examples of higher ranked polymorphism
|
2023-05-24 22:12:45 +02:00 |
|
rank4.crf
|
Add examples of higher ranked polymorphism
|
2023-05-24 22:12:45 +02:00 |
