git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
dc7650d
help
sign in
history of
lib/network/cgi.idr
all commits
02501ef
Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace
Edwin Brady
15 years ago
4cd20b3
Record update syntax { field = val } is a function which updates the field. So { field = val } rec update the field in record 'rec'. (This is backwards from Haskell, firstly because the other way round would conflict with implicit argument syntax, and secondly because it means record updates can be partially applied)
Edwin Brady
15 years ago
7826c0e
Record update functions set_field val record -- updates the field name 'field' to 'val' in 'record'
Edwin Brady
15 years ago
98be75c
Added (experimentally) auto implicit arguments
Edwin Brady
15 years ago
2852e71
Made do notation behave better when bracketed
Edwin Brady
15 years ago
b0f47e1
Made braces optional (at the expense of 'with' now needing the expression to be tested in brackets) do notation doesn't quite behave right - the first token after the do block must be at a lower level of indentation, which means putting it in brackets is awkward.
Edwin Brady
15 years ago
bd61594
Removed need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.
Edwin Brady
15 years ago
2a50169
Added lib/network directory, and network.cgi module
Edwin Brady
15 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list