Łukasz Czajka 6908ca9440 Remove unicode cons symbol (#1687)		2023-01-03 14:37:19 +01:00
..
Anoma	remove ≔ from the language and replace it by := (#1563)	2022-09-30 10:55:32 +10:00
Data	Rename builtin natural to nat and boolean to bool (#1588)	2022-10-14 18:42:03 +02:00
juvix.yaml	Rename MiniJuvix to Juvix (#259)	2022-07-08 13:59:45 +02:00
SimpleFungibleToken.juvix	remove ≔ from the language and replace it by := (#1563)	2022-09-30 10:55:32 +10:00
Tests.juvix	Remove unicode cons symbol (#1687)	2023-01-03 14:37:19 +01:00