BranchCommit messageAuthorAge
masterbump isabelle to 2021-1stuebinm5 days
AgeCommit messageAuthorFilesLines
5 daysbump isabelle to 2021-1HEADmasterstuebinm1-2/+2
6 daysisabelle: allow bringing one's own nixpkgsstuebinm1-1/+2
2021-09-11obs-qmlview for nixstuebinm3-0/+110
2021-07-20playing around with IO in Nixstuebinm3-0/+260
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49
2021-06-08turing machine in nixstuebinm2-0/+110
2021-05-31nixos oci container: add tag optionstuebinm1-1/+2
2021-05-31nixos-modules oci container: keep to the specstuebinm1-2/+2
2021-05-28hakyll wrapped in a nix derivationstuebinm19-0/+638
2021-05-22pretty printing formulae for sequence calculusstuebinm1-0/+15