|
|
e3b4402b0b
|
fix: don't install dotnet from nix for now.
|
2024-03-05 12:36:45 -05:00 |
|
|
|
effb7cede8
|
Expand the Heracles dashboard a bit
|
2024-02-28 11:13:56 -05:00 |
|
|
|
d75180b59b
|
Heracles FTW
|
2024-02-23 12:09:00 -05:00 |
|
|
|
8fc0d047dd
|
Prepare to use lean4 from flake
|
2024-01-29 23:38:32 -05:00 |
|
|
|
6de5297111
|
Workaround the broken symbols in libcxx on darwin.
We use a specific patched commit in nixpkgs until the permanent fix is merged.
|
2024-01-29 16:29:10 -05:00 |
|
|
|
6711228f3c
|
Working ocaml using unstable
|
2024-01-29 00:04:22 -05:00 |
|
|
|
39377c5beb
|
Single flake construction
|
2024-01-28 23:46:33 -05:00 |
|
|
|
f30dcd048a
|
add d2 vim plugin
|
2024-01-28 18:39:21 -05:00 |
|
|
|
fcb1d2420b
|
Roslyn is "working"
|
2024-01-09 08:30:42 -05:00 |
|
|
|
179b01999b
|
Update nixpkgs version to 23.11 latest
|
2024-01-05 15:28:39 -05:00 |
|
|
|
2643c52158
|
Update nixpkgs
|
2023-12-26 21:57:42 -06:00 |
|
|
|
055062292d
|
Add oha to my default toolset
|
2023-09-21 09:44:59 -04:00 |
|
