https://gitlab.com/nomadic-labs/data-encoding/
Revision 0e1dfc4456c35c95ca2ec326d30dd6525adbf13f authored by Pietro on 22 April 2020, 15:38:29 UTC, committed by Pietro on 22 April 2020, 16:10:36 UTC
1 parent c38bfaf
History
Tip revision: 0e1dfc4456c35c95ca2ec326d30dd6525adbf13f authored by Pietro on 22 April 2020, 15:38:29 UTC
Add Version to GADT
Tip revision: 0e1dfc4
File Mode Size
src
test
.gitignore -rw-r--r-- 26 bytes
.gitlab-ci.yml -rw-r--r-- 492 bytes
.ocamlformat -rw-r--r-- 231 bytes
CHANGES.md -rw-r--r-- 277 bytes
LICENSE -rw-r--r-- 1.1 KB
README.md -rw-r--r-- 806 bytes
data-encoding.opam -rw-r--r-- 667 bytes
dune-project -rw-r--r-- 53 bytes

README.md

back to top