Commit graph

7 commits

Author SHA1 Message Date
8c05957f60 flake stuff
putting the inputs inside out like they were will prevent updates to
deps unless i update tap first. i think? which probably doesn't matter,
but it might
2022-10-06 21:16:54 +02:00
956c677614 nix flake update 2022-08-18 00:23:17 +02:00
220a87f8a6 messing with nix again 2022-06-19 14:22:58 +02:00
cd651558a2 idris doesn't support ARM i don't think 2022-05-27 17:23:22 +02:00
9920bea6e3 nix stuff 2022-05-27 13:31:52 +02:00
b4ac58f866 move TAP to its own package
https://git.rhiannon.website/rhi/idris2-tap
2022-05-26 16:25:56 +02:00
7f415328a2 wip nix 2022-05-04 17:09:49 +02:00