added elephant. thanks 082349872349872

breck7 · May 22, 2024 · 83ba144 · 83ba144
1 parent 97be48b
commit 83ba144
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/concepts/elephant.scroll b/concepts/elephant.scroll
@@ -0,0 +1,11 @@
+import ../code/conceptPage.scroll
+
+id elephant
+name Elephant 2000
+appeared 1989
+creators John McCarthy
+tags pl
+announcementMethod paper
+conceptDescription A Programming Language Based on Speech Acts. Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people (e.g. transaction processing) or interact with programs belonging to other organizations (e.g. electronic data interchange).
+
+reference https://www-formal.stanford.edu/jmc/elephant.pdf