- Atlanta, GA
- https://tokinanpa.dev/
-
The only programmer on the internet
- Joined on
2024-07-21
68a806b291
feat: part 8-2
b10afe5239
feat: part 8-1
22423f6cf6
refactor:
Data.Vect.range
-> Data.List.allFins
3826a13244
feat: part 7-2
b4391bec86
refactor: remove totality assertion
2196df1811
feat: part 7-1
d87cb7d7ee
fix: remove unnecessary module list from ipkg
cda9060ab3
feat: part 6-2
b40650cd6b
feat: allow solution ID to be passed as CLI arg
94448ca2f5
style: remove extraneous import
d0a2aaef36
feat: part 4-2
8fa82869ab
feat: part 4-1
2ac7b192b7
style: remove unnecessary
do
block
07b830672b
style: decrease indentation on
TTImp
quote
b37d5f2dd4
feat: part 3-2
939f596c34
refactor: move parser functions into
Utils
41de325442
feat: part 3-1
b3c48a5d8c
fix: namespace issues with generated code
bf184dd8d3
feat: part 2-2
fad1b50858
fix: import necessary modules in
Main
1a0e4a5a04
feat: part 2-1
2c9e1baf93
style: change section comment
81e6c01444
refactor: always allow HTTPS through firewall
63565fc4b1
fix: fix incorrect config reference
f27c89de11
refactor: factor out
forgejo
option
8ef4845300
docs: rewrite README
c409cde8f2
style: comment module options file
c9868c7887
refactor: rename catch-all module to
all
dede65dc18
refactor: rename
wireless
module to basic
f178336dd8
tweak: remove unnecessary
forgejo
config
f0aa0e25b0
docs: reorder module checklist
bb8f338c68
feat: add assertion to ensure correctness of options
c978882918
refactor: separate module options into
options.nix
cb94d7c6fb
docs: document API
475017cf87
fix: use
specialArgs
to prevent infinite loop
966a1ec8f6
fix: correct option name