pheymann

pheymann

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
216 Stars
18 Forks
216 Watchers

Repositories (2)

typedapi pheymann/typedapi Scala

Build your web API on the type level.

161
specdris pheymann/specdris Idris

A test framework for Idris

55