Update types.md

nevalang · Sep 23, 2024 · 0fa8b56 · 0fa8b56
1 parent f9deb49
commit 0fa8b56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/types.md b/docs/types.md
@@ -1,6 +1,6 @@
 # Types
 
-Nevalang is statically typed, requiring compile-time known types for constants and ports. Type expressions refer to type definitions.
+Nevalang is statically typed, requiring compile-time known types for constants and ports. Type expressions refer to type definitions. There is no [type inference](https://en.m.wikipedia.org/wiki/Type_inference) so all types must be explicitly present in the source code.
 
 ## Expression