about summary refs log tree commit diff
path: root/website
AgeCommit message (Expand)AuthorFilesLines
2020-12-11 Move the habit-screens project into //websiteWilliam Carroll16-0/+1010
2020-12-11 Delete //website/habitsWilliam Carroll2-17/+0
2020-12-11 Delete //website/habitgardenWilliam Carroll15-5904/+0
2020-12-11 Delete //website/days-of-week-habitsWilliam Carroll15-6048/+0
2020-08-20 Prefer reading secrets.json to using pass showWilliam Carroll2-2/+8
2020-08-20 Drop support for dir-locals.nix, <nixpkgs>, etc.William Carroll18-27/+30
2020-08-20 Disable failing goals/default.nixWilliam Carroll3-6/+0
2020-08-20 Revise previous opinions about absolute paths GT <bracket-notation>William Carroll3-3/+4
2020-08-20 Attempt nix-build instead of nixos-rebuild switchWilliam Carroll2-0/+0
2020-08-20 Move shift-time into top-level //zooWilliam Carroll5-235/+0
2020-08-20 Support parsing and shifting timeWilliam Carroll4-20/+130
2020-08-20 Support parsing second shiftsWilliam Carroll5-0/+125
2020-08-20 Support POST /create-payment-intentWilliam Carroll7-5/+118
2020-08-12 Consume buildHaskell functionsWilliam Carroll2-37/+35
2020-08-10 Drop support for ServantT transformer type for serverWilliam Carroll3-16/+59
2020-08-09 Prefer ServantT for server to consume App contextWilliam Carroll2-24/+33
2020-08-09 Replace Prelude with RIOWilliam Carroll7-39/+95
2020-08-09 Move Haskell-related shell.nix code into its own shell.nixWilliam Carroll2-11/+19
2020-08-09 Sketch database schemaWilliam Carroll1-0/+41
2020-08-09 Initialize a default.nix for nix-buildWilliam Carroll1-0/+27
2020-08-09 Add common language extensions to .ghciWilliam Carroll6-9/+5
2020-08-08 Consume GoogleSignIn.validateJWTWilliam Carroll4-26/+60
2020-08-08 Add tests for "exp" field of the JWTWilliam Carroll4-13/+61
2020-08-08 Test that the JWT's iss field meets our expectationsWilliam Carroll3-9/+42
2020-08-08 Test that an improperly encoded JWT returns a DecodeErrorWilliam Carroll1-0/+3
2020-08-08 Tests valid and invalid JWTs for the "aud" fieldWilliam Carroll4-21/+87
2020-08-08 Update jwtIsValid API to return IO BoolWilliam Carroll2-6/+6
2020-08-08 Remove redundant deps from API.hsWilliam Carroll1-2/+0
2020-08-08 Begin work for supporting GoogleSignIn server-sideWilliam Carroll4-5/+92
2020-08-08 Define Utils moduleWilliam Carroll1-0/+8
2020-08-06 Support echo server to test POST /verifyWilliam Carroll5-8/+79
2020-08-06 Support Google Sign-in client-sideWilliam Carroll5-1/+53
2020-07-20 Create //playbooksWilliam Carroll1-1/+1
2020-07-02 Prefer builtins.pathWilliam Carroll10-11/+11
2020-04-19 Restore default view to OverviewWilliam Carroll1-1/+1
2020-04-19 Correct all G_sharp pitch classesWilliam Carroll1-7/+7
2020-04-19 Remove unused Msg'sWilliam Carroll1-48/+0
2020-04-19 Ensure only whitelisted chord inversions present in initial stateWilliam Carroll1-2/+6
2020-04-19 Display "Get ready..." message before practicingWilliam Carroll1-6/+13
2020-04-19 Restore support for whitelisted chord inversionsWilliam Carroll2-44/+34
2020-04-19 Drop support for PracticeModeWilliam Carroll2-43/+3
2020-04-19 Support a FlashCard before showing the notes that comprise a chordWilliam Carroll5-5/+66
2020-04-19 Create Tailwind moduleWilliam Carroll5-27/+49
2020-04-19 Ensure the overlayButton is truly h-screen and w-screenWilliam Carroll2-112/+35
2020-04-19 Responsively size UIWilliam Carroll5-12/+84
2020-04-19 Set the selectedChord to Nothing when setting a keyWilliam Carroll1-0/+1
2020-04-19 Prune {Select,Deselect}AllKeys actionsWilliam Carroll1-19/+0
2020-04-19 Highlight root note of each chordWilliam Carroll2-37/+70
2020-04-18 Remove horizontal paddingWilliam Carroll1-2/+2
2020-04-18 Create Overview for Learn Piano ChordsWilliam Carroll2-2/+94