geneweb icon indicating copy to clipboard operation
geneweb copied to clipboard

Published 20 hours ago • verified publisher icon geneweb

clean lib/perso.ml ; add template function to display witnesses based on their kind

Open Swrup opened this issue 2 years ago • 0 comments

  • factorize code
  • remove unneeded mutual recursion (unneeded and)
  • remove some non-exhaustive pattern-matching constructs (match on | _ )

Swrup avatar Sep 14 '22 15:09 Swrup