Skip to content

Improve notations for functions

Jacques-Henri Jourdan requested to merge jh/fn_notation into master

We use fnrec: for recursive functions and fn: for non-recursve functions. This is both shorter and closer to Rust.

This follows a suggestion by @shiatsumat.

Merge request reports