9 Commits

Author	SHA1	Message	Date
felipegchi	b7b15e7590	fix: bug fixes and improvements in the code style	2022-11-29 11:23:34 -03:00
felipegchi	0b16e63eed	fix: some fixes	2022-11-28 11:29:25 -03:00
felipegchi	b5636ac6c0	fix: erasure checker	2022-11-28 11:09:34 -03:00
Nicolas Abril	85bb2d0655	fix: Format and rename some things	2022-11-26 16:41:34 +01:00
felipegchi	42d8baf03d	refactor: a lot of refactoring and implementation of flattening	2022-11-25 14:41:07 -03:00
felipegchi	57cbe3a828	fix: fixed erasure	2022-11-24 11:01:41 -03:00
felipegchi	ef4c8f34cd	fix: fixed token print and string desugar	2022-11-23 13:29:27 -03:00
felipegchi	6dd1bffae2	feat(all): a lot of features and changed to HVM2	2022-11-23 13:08:02 -03:00
felipegchi	b727dc3308	style: changed src to creates	2022-11-22 09:57:54 -03:00