3 Commits

Author	SHA1	Message	Date
Łukasz Czajka	a5bfba6c1c	JuvixTree recursors and transformation framework (#2594) ... * Generalizes JuvixCore map and fold recursors to work also for JuvixTree. * Adds a transformation framework to JuvixTree. * Adds identity trasformation tests for JuvixTree. * Depends on #2590 * Depends on #2589 * Depends on #2587	2024-01-29 16:43:08 +00:00
Łukasz Czajka	bd17e957a1	Fix de Bruijn indices in rmap (#1898) ... There was a subtle bug in `rmap` when `recur` was called on a variable. This PR fixes it.	2023-03-17 13:11:36 +01:00
Łukasz Czajka	5efec1a9d3	The rmap recursor (#1893) ... The `rmap` recursor allows to specify changes in binders while going downward through a Core node. This should help in implementing transformations on Core which need to add/remove/change binders. * Depends on PR #1875 * Adds unit tests for `rmap` * Changes the `NatToInt` transformation to use `rmap`	2023-03-16 14:47:21 +01:00