Merge pull request #1 from drkameleon/patch-1

RickBarretto · web-flow · commit aa870021c5e0 · 2025-09-17T10:56:08.000-03:00
Rename readme.md to README.md
diff --git a/README.md b/README.md
@@ -190,4 +190,4 @@ Use each one for their own purposes. Don't try to use {Art}cism as testing libra
 
 
 > [!WARNING]
-> Never import this lib as `.lean`, or this will break the current code. This happens due to the nature of Arturo (being concatenative),  and the way we importings are working right now. This may change in future.
+> Never import this lib as `.lean`, or this will break the current code. This happens due to the nature of Arturo (being concatenative),  and the way we importings are working right now. This may change in future.

Original file line number	Diff line number	Diff line change
`@@ -190,4 +190,4 @@ Use each one for their own purposes. Don't try to use {Art}cism as testing libra`
`190`	`190`
`191`	`191`
`192`	`192`	`> [!WARNING]`
`193`		-> Never import this lib as `.lean`, or this will break the current code. This happens due to the nature of Arturo (being concatenative), and the way we importings are working right now. This may change in future.
	`193`	+> Never import this lib as `.lean`, or this will break the current code. This happens due to the nature of Arturo (being concatenative), and the way we importings are working right now. This may change in future.