login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit history for SandBox SPAD dependent types


Version Note Size Editor Time
SPAD does NOT support types that depend on preceding formal parameters in function declarations 1809 ric 2018/06/20 16:00:37 GMT+0