| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 2019-06_lis.nix | 684 | logplain |
| -rw-r--r-- | 2020-03_nii.nix | 687 | logplain |
| -rw-r--r-- | 2022-03_irif.nix | 612 | logplain |
| -rw-r--r-- | 2022-09_tweag.nix | 449 | logplain |
| -rw-r--r-- | default.nix | 138 | logplain |
![]() |
index : about-me/info | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 2019-06_lis.nix | 684 | logplain |
| -rw-r--r-- | 2020-03_nii.nix | 687 | logplain |
| -rw-r--r-- | 2022-03_irif.nix | 612 | logplain |
| -rw-r--r-- | 2022-09_tweag.nix | 449 | logplain |
| -rw-r--r-- | default.nix | 138 | logplain |