diff options
Diffstat (limited to 'content/digarden/pages/20210425144000-philip_wadler.org')
| -rw-r--r-- | content/digarden/pages/20210425144000-philip_wadler.org | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/content/digarden/pages/20210425144000-philip_wadler.org b/content/digarden/pages/20210425144000-philip_wadler.org deleted file mode 100644 index 9937dc1..0000000 --- a/content/digarden/pages/20210425144000-philip_wadler.org +++ /dev/null @@ -1,9 +0,0 @@ -:PROPERTIES: -:ID: e20979bc-9ea0-4078-b455-44eae633bf01 -:END: -#+title: Philip Wadler -* Philip Wadler -Информатик. Ввёл в [[id:cf9a0dd5-561b-4330-bdfd-07689db2dc44][Java]] дженерики. - -"Propositions as Types" by Philip Wadler: -https://youtube.com/watch?v=IOiZatlZtGU |