Giters

Termina1 / tlhydra

Idris parser and serializer/deserealizer for TL language

Home Page:https://core.telegram.org/mtproto/TL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Idris parser and serializer/deserealizer for TL language

https://core.telegram.org/mtproto/TL

Languages

Language:Idris 100.0%