git.annexia.org
/
goals.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
4ed2e118ac375acb85d03b88b90055078fed3459
[goals.git]
/
TODO
1
'let :=' for immediate evaluation in assignment.
2
3
Default parameters, ie:
4
goal foo (name, release = true) = ...
5
You might only allow defaults to be added to the end, or you
6
might allow goals to be called with labelled parameters.