playground, branch master place for smaller experiments which may or may not grow into larger things isabelle-fhsenv: add libraries for F# code gen 2023-04-28T15:00:42+00:00 stuebinm 2023-04-28T15:00:42+00:00 19144f12772063b1c6f00ad186dabbf53ea25985 






isabelle env: expose the mkEnv function
2022-12-17T20:45:06+00:00

stuebinm

2022-12-17T20:32:24+00:00

68ac088c2969fb543aae747468702771f2d6a7e9












add isabelle 2022
2022-12-14T13:51:52+00:00

stuebinm

2022-12-14T13:51:52+00:00

740795d854d6c1b502f088da53fbc005bea3f7d5












bump isabelle to 2021-1
2022-01-23T15:00:01+00:00

stuebinm

2022-01-23T15:00:01+00:00

2c9c4425903fdd168ba6cfbc3e9e5df35a111682












isabelle: allow bringing one's own nixpkgs
2022-01-22T15:16:34+00:00

stuebinm

2022-01-22T15:16:34+00:00

33e52e07bad4adde3b9e0478b26e3a48d359b617












obs-qmlview for nix
2021-09-11T18:57:11+00:00

stuebinm

2021-09-11T18:57:11+00:00

d6ee1209ce08103dd2b8294c9399d628d1394f9e












playing around with IO in Nix
2021-07-20T18:43:16+00:00

stuebinm

2021-07-20T18:43:16+00:00

3d498c134a9c0ab61c86a233edd0b2eb76ef44eb












isabelle fhs env for NixOS
2021-07-16T13:05:09+00:00

stuebinm

2021-07-16T13:05:09+00:00

b160fc2033cfa8a356098d962bab790ec273ec03












turing machine in nix
2021-06-08T14:08:07+00:00

stuebinm

2021-06-08T14:04:23+00:00

41cc0560362ad402a91e1eb006935865b7c42d97












nixos oci container: add tag option
2021-05-31T14:31:16+00:00

stuebinm

2021-05-31T14:31:16+00:00

4cba21106d13aa021b2757a3a550244a884cfccf