jameshaydon

jameshaydon

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
372 Stars
7 Forks
19 Watchers

Repositories (2)

lawvere jameshaydon/lawvere Haskell

A categorical programming language with effects

309
idris-elixir jameshaydon/idris-elixir Haskell

A code-generator for Idris that targets Elixir

63