Closed mankyKitty closed 5 years ago
Move the pinned nixpkgs to a nix file to be consistent with other qfpl repos, update the pin to a more recent 18.09 revision.
Upgrade tasty-wai and waargonaut to recent versions. The former is minor but the latter has significant usability improvements.
tasty-wai
waargonaut
The lessons have been updated where appropriate.
Move the pinned nixpkgs to a nix file to be consistent with other qfpl repos, update the pin to a more recent 18.09 revision.
Upgrade
tasty-wai
andwaargonaut
to recent versions. The former is minor but the latter has significant usability improvements.The lessons have been updated where appropriate.