toki/doom-config
1
0
Fork 0
Code Issues Pull requests Activity

Add nix issue

Browse source
This commit is contained in:
Kiana Sheibani 2024-04-23 15:13:43 -04:00
parent f15f3d8c06
commit 7f7050d079
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
config.org
View file

@ -88,6 +88,10 @@ It's not the right tool for every codebase, but proper use of literate programmi
** Current Issues ** Current Issues
*** TODO Nix
Creating garbage collection roots currently doesn't work.
*** TODO Idris *** TODO Idris
The configuration for Idris is a bit light, and could use some touching up. The configuration for Idris is a bit light, and could use some touching up.