phile314/agda-build


License: BSD-3-Clause

Language: Haskell

Project Statistics

Sourcerank 2
Repository Size 7.81 KB
Stars 0
Forks 0
Watchers 1
Open issues 0
Dependencies 0
Contributors 1
Tags 0
Created
Last updated
Last pushed

Top Contributors See all

Philipp Hausmann

Something wrong with this page? Make a suggestion

Last synced: 2018-02-04 14:56:49 UTC

Login to resync this repository