James Haydon

lawvere. A categorical programming language with effects

idris-elixir. A code-generator for Idris that targets Elixir

smproc. A well-typed symmetric-monoidal category of concurrent processes

uk-passport. Solving UKPassportApplication with Haskell

idris-graphql. Idris GraphQL

diff-check. Reminders to check things generated by git diffs

optical-machines. State machines using optics

uk-portion-of-ICAO. Extract ICAO flight plan

sentinel. Haskell

anki-prompt. Learn stuff at your terminal

jameshaydon.github.io. My website

highercats.

foo. foo

hermits. Hermit crab similation

cospanProc. Composing coroutines via decorated cospans

explain. Haskell