Software Foundations (https://www.cis.upenn.edu/~bcpierce/sf/current) exercises written for Idris.
abbottk/idris-sf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Software Foundations (https://www.cis.upenn.edu/~bcpierce/sf/current) exercises written for Idris.