Johannes Merl
|
17b64f263b
|
LamdaCalculusV2
|
2024-05-07 14:58:00 +02:00 |
|
Johannes Merl
|
ea687a2fbb
|
clean up, organize and document
|
2024-04-22 14:33:40 +02:00 |
|
Johannes Merl
|
16189ef988
|
tweak params
|
2024-04-21 19:28:34 +02:00 |
|
Johannes Merl
|
0862943ebc
|
sbatch
|
2024-04-21 13:22:14 +02:00 |
|
Johannes Merl
|
8432103a18
|
finish German
|
2024-04-16 11:47:22 +02:00 |
|
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 |
|