search

idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

ImpCEvalFun #49

Closed clayrat closed 6 years ago

yurrriq commented 6 years ago

Hey, thanks! I'll look this over when I get a chance, likely tomorrow night.

clayrat commented 6 years ago

I've went through most of the exercises until the end of ImpCEvalFun and added some minor fixes/updates based on that. I'm still thinking about how to do Extract and Auto and then we're done with volume 1. We should probably also update the PDF, as I've heard from several people they were confused by the difference between it and the repo code.

Also, before we start on volume 2 I'm guessing we should make a folder VolumeOne or something, and move everything in there?

yurrriq commented 6 years ago

I'm having trouble getting stuff to build locally, but I'm working on a (Nix-based) toolchain overhaul. Don't let me get in your way. My free time is nearly nonexistent 😕