|
|
|
|
|
by wires
2691 days ago
|
|
we are working on the MVP, getting there, this wasn't supposed to blow up yet, don't want to give any wrong impressions. currently a lot of our efforts are going into a core component of statebox, https://github.com/typedefs it is library similar to protocol buffers, but it fits well with proof assistants / functional languages / category theory |
|