1941 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
LunaAmora	ba2c66f29a	Add basic import support	2024-07-05 10:22:45 -03:00
Eduardo Sandalo Porto	a2b75ffa3f	Merge pull request #618 from HigherOrderCO/fix-redundant-match ... Fix bugs with the irrefutable case optimization	2024-07-05 13:17:13 +00:00
Eduardo Sandalo Porto	34395d42a1	Update changelog	2024-07-05 10:14:53 -03:00
imaqtkatt	9dface6d6c	Merge pull request #616 from HigherOrderCO/570-trigonometry-and-math-functions ... #570 trigonometry and math functions	2024-07-05 12:18:59 +00:00
imaqtkatt	4d54d3e8f2	Update changelog	2024-07-05 09:16:42 -03:00
Eduardo Sandalo Porto	81e5dc426a	Slightly improve explanation comment	2024-07-04 18:36:48 -03:00
Eduardo Sandalo Porto	91ceca04c9	Run cargo fmt	2024-07-04 16:30:11 -03:00
Eduardo Sandalo Porto	4e0823a015	Fix bugs with the irrefutable case optimization	2024-07-04 16:22:34 -03:00
imaqtkatt	659d0941b5	Add asin, acos, atan and round functions	2024-07-04 16:03:48 -03:00
imaqtkatt	24a72e4465	Add missing test snapshot	2024-07-04 14:35:01 -03:00
imaqtkatt	e0642c239b	Add run math test	2024-07-04 14:30:28 -03:00
imaqtkatt	19dad2ee94	Refactor to 'Math' namespace	2024-07-04 14:06:14 -03:00
imaqtkatt	cdb4fd201c	Add trigonometry functions	2024-07-04 11:51:44 -03:00
Nicolas Abril	978162739f	Bump version to 0.2.36	2024-07-04 14:24:20 +02:00
imaqtkatt	4b0bdf506c	Merge pull request #614 from HigherOrderCO/dont-allow-repeated-field-names ... Dont allow repeated field names	2024-07-03 19:22:58 +00:00
imaqtkatt	a310138a70	Update changelog	2024-07-03 14:13:27 -03:00
imaqtkatt	37a7a0f2e1	Change to use index structures	2024-07-03 11:55:13 -03:00
imaqtkatt	b5721e48e2	Adjust trait implementation	2024-07-03 11:49:29 -03:00
imaqtkatt	346d2fb8c0	Don't allow repeated field names	2024-07-03 11:45:55 -03:00
Nicolas Abril	2cb3d9c5c0	Merge pull request #612 from HigherOrderCO/implement-local-defs-for-fun-syntax ... Implement local defs for fun syntax	2024-07-02 15:19:20 +00:00
Nicolas Abril	e49fd840ba	fix spelling of "backtrack"	2024-07-02 17:17:26 +02:00
imaqtkatt	8ad65d7f6a	Rename module and add comments	2024-07-02 12:12:12 -03:00
imaqtkatt	842891cbf4	Add missing error message	2024-07-02 09:14:02 -03:00
Nicolas Abril	65c569be34	Merge pull request #611 from HigherOrderCO/fix-statement-description ... Fix grammar description of a few statements	2024-07-02 11:23:29 +00:00
imaqtkatt	65065e9038	Update docs and fix recursion in local definitions	2024-07-01 18:39:39 -03:00
imaqtkatt	d3cce02500	Implement 'def' term	2024-07-01 18:21:49 -03:00
Eduardo Sandalo Porto	b2d62efed7	Fix grammar description of a few statements	2024-07-01 17:52:33 -03:00
Nicolas Abril	82afbc0d89	Merge pull request #609 from HigherOrderCO/562-local-functions-in-imp-syntax ... #562 Local functions in imp syntax	2024-06-28 15:43:14 +00:00
imaqtkatt	cf6af170b5	Fix inner definitions as closures	2024-06-28 12:26:39 -03:00
imaqtkatt	0cd4386f32	Reorder local defs lifting	2024-06-28 11:08:03 -03:00
imaqtkatt	945bed6872	Update changelog and docs	2024-06-28 09:54:15 -03:00
imaqtkatt	1785b392fe	Add local def statement	2024-06-27 15:23:38 -03:00
Nicolas Abril	10610c3774	Merge pull request #608 from eltociear/patch-2 ... chore: update list.bend	2024-06-26 22:54:11 +00:00
Ikko Eltociear Ashimine	e44f68ba8c	chore: update list.bend ... occurence -> occurrence	2024-06-27 02:57:53 +09:00
Nicolas Abril	8440fad2a4	Merge pull request #605 from HigherOrderCO/468-patterns-in-fun-rules-shouldnt-accept-unscoped-variables ... #468 Patterns in "fun" rules should accept unscoped variables	2024-06-26 09:58:10 +00:00
imaqtkatt	94bff60775	Add test with unscoped pattern on definition rule	2024-06-25 18:10:26 -03:00
imaqtkatt	eb1fd23a92	Update changelog	2024-06-25 17:50:13 -03:00
imaqtkatt	785de8c679	Allow unscoped variables on irrefutable rules	2024-06-25 17:47:08 -03:00
Nicolas Abril	a0aa467b73	Merge pull request #599 from HigherOrderCO/578-add-user-friendly-file-io-functions ... #578 Add File IO utility functions	2024-06-24 18:04:35 +00:00
imaqtkatt	644eadb4a2	Merge pull request #603 from HigherOrderCO/470-add-fast-access-to-pred-variable-in-equational-pattern-matching-on-numbers ... #470 Add fast access to pred variable	2024-06-24 17:05:50 +00:00
imaqtkatt	70944db468	Merge pull request #604 from HigherOrderCO/with-fun-undefer-docs ... Fix the monadic example using `with` for fun syntax	2024-06-24 17:05:11 +00:00
Nicolas Abril	71b87c4b2b	Fix the monadic example using with for fun syntax	2024-06-24 18:53:18 +02:00
imaqtkatt	042773a837	Rename current variable	2024-06-24 13:33:51 -03:00
Nicolas Abril	9f6ba009d5	Update builtins.md with the new file utility functions	2024-06-24 18:12:39 +02:00
imaqtkatt	c23952f443	Implement fast pred access function	2024-06-24 12:45:15 -03:00
Nicolas Abril	4b131204e4	Merge pull request #602 from cstiago/564-add-notes-square-brackets-syntax ... #564 Add notes on square brackets syntax	2024-06-24 15:10:39 +00:00
imaqtkatt	33ae28c088	Update builtins docs	2024-06-24 11:15:28 -03:00
Nicolas Abril	c9cfd19d09	Update link to issue 579 in changelog ... Co-authored-by: imaqtkatt <135721694+imaqtkatt@users.noreply.github.com>	2024-06-24 15:46:24 +02:00
Tiago Cunha	8127865012	Add notes on square brackets syntax	2024-06-23 23:45:37 -03:00
Nicolas Abril	ec33f9b14c	Properly propagate builtin state of defs extracted from bend/fold	2024-06-21 20:19:43 +02:00