jameshaydon

jameshaydon

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
366 Stars
6 Forks
366 Watchers

Repositories (2)

lawvere jameshaydon/lawvere Haskell

A categorical programming language with effects

303
idris-elixir jameshaydon/idris-elixir Haskell

A code-generator for Idris that targets Elixir

63