This repository contains some examples of problems that has been found implementing RuFi language.
- ex00: Here we show a minimal example of nested borrowing conflicts.
- ex01: Here we show the multiple borrowing problem that occurs when implementing the nbr function.
- ex02: Here we try to solve the problem by eliminate nested borrowing inside the nbr function.
- ex03: Here, to allow composition between operators, we make the closure of the nbr function to accept the language as an argument.