idris-modules: add final newline to TODO.md

This commit is contained in:
Samuel Gräfenstein 2020-11-05 12:32:21 +01:00 committed by Alyssa Ross
parent 3ca5220350
commit 0e19ef393a

View file

@ -1,3 +1,3 @@
* Build the RTS separately from Idris
* idris2nix
* Only require gmp, rts when compiling executables
* Only require gmp, rts when compiling executables