Skip to content

Activity

Showing most recent first

Use Nixpkgs 24.11

vaibhavsagarpushed 1 commit to master • b86f877…2e76792 • 
on Dec 1, 2024

hvega: init

vaibhavsagarpushed 1 commit to master • 1687f41…b86f877 • 
on Nov 4, 2024

flake.lock: update

vaibhavsagarpushed 1 commit to master • 9192799…1687f41 • 
on Nov 4, 2024

graphviz/CDCL.ipynb: init

vaibhavsagarpushed 1 commit to master • 848d72f…9192799 • 
on Oct 25, 2024

flake.lock: update

vaibhavsagarpushed 1 commit to master • c2a6db3…848d72f • 
on Oct 25, 2024

callcc: update

vaibhavsagarpushed 1 commit to master • ebfe047…c2a6db3 • 
on Sep 6, 2024

dragon-curve: update

vaibhavsagarpushed 1 commit to master • 337ce56…ebfe047 • 
on Sep 6, 2024

callcc: update

vaibhavsagarpushed 1 commit to master • 509f372…337ce56 • 
on Sep 6, 2024

Update notebooks for GHC 9.6

vaibhavsagarpushed 2 commits to master • 1cbad4e…509f372 • 
on Jul 5, 2024

dragon-curve: update

vaibhavsagarpushed 1 commit to master • 27e09c4…1cbad4e • 
on Apr 23, 2024

flake.lock: update

vaibhavsagarpushed 1 commit to master • e3ec438…27e09c4 • 
on Apr 22, 2024

hamt: remove stray </div>

vaibhavsagarpushed 1 commit to master • e0dab49…e3ec438 • 
on Feb 21, 2024

flake.nix: use legacyPackages

vaibhavsagarpushed 1 commit to master • b95ff17…e0dab49 • 
on Feb 21, 2024

flake.lock: update

vaibhavsagarpushed 1 commit to master • 1fe5825…b95ff17 • 
on Feb 7, 2024

mph/MPH.ipynb: update

vaibhavsagarpushed 1 commit to master • 2f26c08…1fe5825 • 
on Feb 7, 2024

typeclasses: update

vaibhavsagarpushed 1 commit to master • f24f4a3…2f26c08 • 
on Feb 7, 2024

mph: update

vaibhavsagarpushed 1 commit to master • 453462d…f24f4a3 • 
on Feb 4, 2024

flake.nix: include higher-kinded-data

vaibhavsagarpushed 1 commit to master • 2999ca7…453462d • 
on Feb 4, 2024

flake.nix: don't use nix-filter as an output parameter

vaibhavsagarpushed 1 commit to master • daa4f59…2999ca7 • 
on Feb 4, 2024

flake.nix: init

Pull request merge
vaibhavsagarpushed 1 commit to master • 1eb79ec…daa4f59 • 
on Feb 4, 2024

flake.nix: init

Force push
vaibhavsagarforce pushed to flake • 3941f19…b8a42e7 • 
on Feb 4, 2024

flake.nix: init

Force push
vaibhavsagarforce pushed to flake • 26c9a8e…3941f19 • 
on Feb 4, 2024

flake.nix: init

vaibhavsagarcreated flake • 26c9a8e • 
on Feb 4, 2024

versions.json: update

vaibhavsagarpushed 1 commit to master • 9a54c76…1eb79ec • 
on Feb 3, 2024

graphviz: update

vaibhavsagarpushed 1 commit to master • e0e8b9e…9a54c76 • 
on Feb 3, 2024

rise.nix: remove

vaibhavsagarpushed 1 commit to master • 3bf71a2…e0e8b9e • 
on Feb 3, 2024

deriving-via: don't lint

vaibhavsagarpushed 1 commit to master • 6fa5f39…3bf71a2 • 
on Feb 3, 2024

Update for new Nix expressions

vaibhavsagarpushed 1 commit to master • 18a1a71…6fa5f39 • 
on Feb 3, 2024

trees-that-shrink: update

vaibhavsagarpushed 1 commit to master • dbea2b9…18a1a71 • 
on Jan 28, 2024

trees-that-shrink: update

vaibhavsagarpushed 1 commit to master • 4343ebd…dbea2b9 • 
on Jan 28, 2024