dandri/simplex-chat
1
0
Fork 0
mirror of https://github.com/simplex-chat/simplex-chat.git synced 2026-04-26 15:18:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
98 Commits 245 Branches 336 Tags
v0.1.0
Commit Graph

4 Commits

Author SHA1 Message Date
Evgeny Poberezkin
53d598cdc2 Connection type (#36) 
* use protocol package

* Connection, Invitation types

* remove idris code
 2020-07-16 19:32:36 +01:00
Evgeny Poberezkin
063b7286e2 refactor: make Protocol a freer parameterized monad 2020-07-10 11:54:09 +01:00
Evgeny Poberezkin
7ee44a6d41 connection states in haskell protocol definition 2020-05-09 12:38:07 +01:00
Evgeny Poberezkin
a6700c1633 definitions 2020-03-21 18:16:25 +00:00