Skip to content
Snippets Groups Projects
Commit 7a71be98 authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Self pretty printer handles correctly functions containing choose (good for... 

Self pretty printer handles correctly functions containing choose (good for abstract candidates, but not good for pretty-printing).
Corrected isHomo in the case of function definitions.
Use functionInvocation instead of FunctionInvocation else typing argument is not inferred.
parent 74031fe9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment