vcl-ut #25 P5b (step 2): certified Idris wire decoder + cross-language Refl conformance#29

hyperpolymath merged 2 commits into

mainhyperpolymath/vcl-ut:mainfrom

reinforce/vclut-25-phase5b-idris-decoderhyperpolymath/vcl-ut:reinforce/vclut-25-phase5b-idris-decoderCopy head branch name to clipboard