Giters

camelpunch / mrk

Towards proven-valid HTML generation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Towards proven-valid HTML generation

License:MIT License

Languages

Language:Idris 99.8%Language:Makefile 0.2%