- Portland, OR
- https://danilafe.com
- Joined on
2017-09-08
Block a user
fc26bcf07b
Rename the program to katex-html
0caba82b7c
Turn program into a flake
2b8397f319
Rename env to gems in default.nix
e533c204fa
Add derivation for the convert script by itself
7915e20ed0
Start with bundlerEnv for the convert script
c280798a26
Start migrating to a flake
a42d433950
Add binary property to package JSON
1b852b8599
Write the mini-package for the server
8cf0502492
Upate theme
a490514079
Add a graph visualization page based on the analyze script
a658286776
Make analyze.rb find its own files and generate JS
7fb3c26633
Add a file to create file dependency graph
21ca8e5e90
Replace all of the ref with relrefs
092f98c17a
Update theme
eec6174562
Try moving some proofs into an appendix
81efcea0e5
Give initial stabs at Arthur's suggestions
7ac85b5b1e
Add some more to the generalization sections.
1b35ca32ac
Fix a few typos (thanks, Arthur)