pheymann

pheymann

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
213 Stars
19 Forks
213 Watchers

Repositories (2)

typedapi pheymann/typedapi Scala

Build your web API on the type level.

159
specdris pheymann/specdris Idris

A test framework for Idris

54