dandri/simplex-chat
1
0
Fork 0
mirror of https://github.com/simplex-chat/simplex-chat.git synced 2026-05-07 04:46:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
176 Commits 255 Branches 343 Tags
v0.3.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