Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 25 | logplain |
d--------- | Data | 36 | logplain |
-rw-r--r-- | Dedumi.hs | 2562 | logplain |
-rw-r--r-- | bench.hs | 1361 | logplain |
-rw-r--r-- | dedumi.hs | 154 | logplain |
-rw-r--r-- | default.nix | 797 | logplain |
-rw-r--r-- | flake.lock | 1015 | logplain |
-rw-r--r-- | flake.nix | 534 | logplain |
-rw-r--r-- | package.yaml | 741 | logplain |
-rw-r--r-- | test.hs | 1078 | logplain |