git.iko.soy/Idris-dev
on fb3160e help sign in
history oflib/network/cgi.idr
all commits
2852e71Made do notation behave better when bracketedEdwin Brady b0f47e1Made 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 bd61594Removed 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 2a50169Added lib/network directory, and network.cgi moduleEdwin Brady