A partial implementation of Protocol Buffers in Idris
updated at March 29, 2023, 5:07 p.m.
3 +0
29 +0
11 +0