5 Commits

Author	SHA1	Message	Date
Łukasz Czajka	5ec80641cb	Adapt benchmarks to the new pipeline (#1795) ... Closes #1742	2023-02-01 15:44:09 +01:00
Łukasz Czajka	6908ca9440	Remove unicode cons symbol (#1687)	2023-01-03 14:37:19 +01:00
Jonathan Cubides	3fbc9c7c55	Change syntax for ind. data types and forbid the empty data type (#1684) ... Closes #1644 #1635	2023-01-03 13:49:04 +01:00
Łukasz Czajka	f5de5faaef	Translation from JuvixAsm to C (#1619)	2022-12-06 11:33:20 +01:00
Łukasz Czajka	74bfe592f5	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00