aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--people.json4
1 files changed, 4 insertions, 0 deletions
diff --git a/people.json b/people.json
index dc0453e..2543c07 100644
--- a/people.json
+++ b/people.json
@@ -196,6 +196,10 @@
{
"name": "coq",
"link": "./entries/fbanados/fib.v"
+ },
+ {
+ "name": "pharo-smalltalk",
+ "link": "./entries/fbanados/fib.st"
}
]
}