Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
valaddin - MaRDI portal

valaddin

From MaRDI portal
Software:131727



CRANvaladdinMaRDI QIDQ131727

Functional Input Validation

Eugene Ha

Last update: 25 October 2023

Copyright license: MIT license, File License

Software version identifier: 1.0.1, 0.1.0, 0.1.2, 1.0.0, 1.0.2

A set of basic tools to transform functions into functions with input validation checks, in a manner suitable for both programmatic and interactive use.





This page was built for software: valaddin