Joseph Morag

I might be interested in taking this on. Would an interface like this under `/gym-leader/{id or name}` be reasonable? ```typescript interface GymLeader { id: number; name: string; version: { name;...

Do you mean all trainers in the entire game or just the trainers in the gym before the leader? In either case, the interface would have to be slightly different,...

You're right. I've found the ROM data for trainers (emerald) [here](https://github.com/pret/pokeemerald/blob/master/src/data/trainer_parties.h). For non-custom learnsets, the code [here](https://github.com/pret/pokeemerald/blob/master/src/pokemon.c#L2971) suggests that pokemon always know the four most recent moves they could have...

Does "unlimited Haskell" as opposed to limited Haskell qualify as not something new? IMO the argument that Haskell is turing complete isn't that compelling, as the nix expression language is...

The external consumption argument is very compelling. I guess we could have cabal generate a lockfile from a build specification in Haskell and have other tools read that. We already...

> ## IO Adding IO should be easy: just write an alternative version of normalize that, instead of just outputting the normal form, pattern-matches it against the expected IO type,...

Out of curiosity, why is there both a runtime.c and a runtime.rs? They appear to be extremely similar. Is the rust one the interpreter and the C one for linking...

> > What about compiling Haskell to HVM? From a high level this shouldn't be too hard. Use the GHC core as input and transform it to HVM. There are...

My understanding of the HVM runtime is that it's lazy. How would strict languages like PureScript and Idris retain their semantics when compiling to HVM?

Thanks for this PR! Very glad you enjoyed the tutorial :) Just a couple questions: - CI looks broken now. I see that you added some github workflow files. Does...