Commit Graph

13 Commits

Author SHA1 Message Date
Johannes Merl
4d40050f1a split of dataset 2024-03-11 11:00:11 +01:00
Johannes Merl
57cf1452bf cleanup 2024-02-27 18:53:43 +01:00
Johannes Merl
a4012804fb WIP evaluation of Lamda Individuals 2024-02-26 13:28:51 +01:00
Johannes Merl
b6c1c27224 WIP: lambda Individuuen 2024-02-19 21:56:28 +01:00
Johannes Merl
bcddedabee update to RVar 2024-02-11 21:25:15 +01:00
David Pätzel
5c448dce09 👷 Swap to simpler Nix flake–based environment 2023-04-26 15:40:05 +02:00
David Pätzel
b4f5810239 Pin nixpkgs 2020-11-09 15:02:19 +01:00
David Pätzel
3976e09506 Enable (almost) all GHC warning, fix warnings 2020-05-02 17:42:04 +02:00
David Pätzel
7504c030fc Bump base version 2020-04-27 15:38:12 +02:00
David Pätzel
bbddd62c70 Add applicative CLI option parsing 2020-01-07 08:46:04 +01:00
David Pätzel
483e1707c8 Add Szenario191 2020-01-07 07:57:02 +01:00
David Pätzel
281acc0b88 Improve documentation of GA module slightly 2019-10-22 17:02:04 +02:00
David Pätzel
69d176cbfb Rename to haga 2019-10-22 16:33:02 +02:00