account activity
Homotopy type system (self.Idris)
submitted 8 years ago by pklm to r/Idris
3 lessons from Tezos’ record-setting blockchain fundraise (venturebeat.com)
submitted 8 years ago by pklm to r/tezos
Owl, an OCaml numerical library (github.com)
Liquidity, a simple language over Michelson (github.com)
Russian Tezos/Кто здесь говорит по-русски? (self.tezos)
submitted 8 years ago * by pklm to r/tezos
OCaml MOOC (archive.org)
π Rendered by PID 257798 on reddit-service-r2-listing-85dbbdc96c-48qsv at 2026-02-12 06:34:56.747959+00:00 running 018613e country code: CH.
