login
home
contents
what's new
discussion
bug reports
help
links
subscribe
changes
refresh
edit
SandBox
SandBox Risch
←
↑
→
SandBox Set Any
SandBox SPAD dependent types
last edited
6 years
ago by
ric
ric
2018/06/20 16:00:37 GMT+0
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