Difference between revisions of "File:Disco-tfpie23.pdf"
Jump to navigation
Jump to search
(Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics") |
(No difference)
|
Latest revision as of 03:54, 26 January 2023
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: