get rid of assert, rather switch to Failure state and report a Packet.ALERT
first steps in server
monads
well, that's how it should be
use a fold
style
factor out
style
more monads
correctness
simplify as suggested by @avsm
style
style
more monads
elaborate on that for @pqwy (who told me not to use List.hd, but I need the first certificate for the security_parameters) ;)
fix server code
Merge pull request #14 from mirleft/no-assert

So be it.