gallais / agDATA

Playing with advanced Data Types in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

gallais/agDATA Watchers