PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
GNU General Public License v3.0
81
stars
6
forks
source link
Paper0.org: Proposed a change in the Introduction around ~Bool~. #2
Closed
WolframKahl closed 5 years ago
Also added edcoms.sty.