2 Commits

Author	SHA1	Message	Date
KtorZ	67bf64967b	rename 'constr_{fields,index}' to 'unconstr_{field,index}' ... Better match the conventions so far used across the existing builtins.	2024-12-13 15:18:20 +01:00
microproofs	463b88413e	feat: new builtins constr_index and constr_fields for alternative fast ways to take apart Data	2024-12-13 14:15:19 +07:00