All Git Users → pheymann

2 open source projects by pheymann

[ Open user page on Github ]

Build your web API on the type level.

✭ 165

scala api typelevel typesafe

A test framework for Idris

✭ 55

Idris powershell shell HTML testing unit-testing test-framework unittest idris-ecosystem

1-2 of 2 user projects