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 3 달 전