File:Disco-tfpie23.pdf
Jump to navigation
Jump to search
Disco-tfpie23.pdf (file size: 217 KB, MIME type: application/pdf)
Summary
Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics"
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 03:54, 26 January 2023 | (217 KB) | ElenaMachkasova (talk | contribs) | Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" |
You cannot overwrite this file.
File usage
The following page uses this file: