James Haydon
Results
4
repositories owned by
James Haydon
lawvere
263
Stars
6
Forks
Watchers
A categorical programming language with effects
idris-elixir
64
Stars
1
Forks
Watchers
A code-generator for Idris that targets Elixir
smproc
23
Stars
1
Forks
Watchers
A well-typed symmetric-monoidal category of concurrent processes