idris-protobuf

A partial implementation of Protocol Buffers in Idris

Archived

30 stars

3 watching

11 forks

Language: Idris

last commit: over 7 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris