You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Yann Esposito (Yogsototh) 150d79f96b
use Computer Modern Unicode
3 月之前
engine cv 3 月之前
nix updated with niv 8 月之前
src cv 3 月之前
templates Improved gemini gen added gemini link 3 月之前
.envrc use lorri for envrc, faster better 9 月之前
.gitignore updated 8 月之前
.hlint.yaml updated hlint 8 月之前
Shakefile.hs use Computer Modern Unicode 3 月之前 Added an idea in the todos 1 年之前 move to shake 9 月之前 cleanup style 6 月之前
shell.nix Update dev script 4 月之前