summaryrefslogtreecommitdiffhomepage
ModeNameSize
-rw-r--r--.gitignore34logplain
-rw-r--r--AGPL34520logplain
-rw-r--r--CmdLine.hs2293logplain
-rw-r--r--Crypto.hs2797logplain
-rw-r--r--Graphviz.hs3643logplain
-rw-r--r--Hash.hs2318logplain
-rw-r--r--Log.hs2238logplain
-rw-r--r--Memory.hs255logplain
-rw-r--r--Pty.hs2388logplain
-rw-r--r--Replay.hs682logplain
d---------Role116logplain
-rw-r--r--Serialization.hs342logplain
-rw-r--r--Server.hs3928logplain
-rw-r--r--Session.hs296logplain
-rw-r--r--SessionID.hs2376logplain
-rw-r--r--Setup.hs1098logplain
-rw-r--r--TODO1068logplain
-rw-r--r--Types.hs5955logplain
-rw-r--r--Val.hs1317logplain
-rw-r--r--WebSockets.hs3378logplain
-rw-r--r--debug-me.11806logplain
-rw-r--r--debug-me.cabal1522logplain
-rw-r--r--debug-me.hs500logplain
-rw-r--r--protocol.txt4441logplain
-rw-r--r--stack.yaml85logplain