From 10eae3deb0e06d15f05390d26912609cd57f4ce4 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Wed, 23 Dec 2020 16:56:49 +0800
Subject: [PATCH] builtin functions

---
 toy-impl/README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/toy-impl/README.md b/toy-impl/README.md
index a197f01..20931dc 100644
--- a/toy-impl/README.md
+++ b/toy-impl/README.md
@@ -231,3 +231,7 @@ We currently support:
     * `__xor__`
     * `__neg__`
 
+## Builtin Functions
+* `len(list[X]) -> int32`
+* `range(int32) -> list[int32]`
+