about summary refs log tree commit diff
AgeCommit message (Expand)AuthorFilesLines
2021-03-20 r/2295 fix(gs/achilles): Get rid of universalization stepGriffin Smith2-30/+67
2021-03-20 r/2294 feat(gs/achilles): Prefix top-level ascriptions with `ty`Griffin Smith2-2/+11
2021-03-20 r/2293 feat(gs/achilles): Implement extern decls, for glibc functionsGriffin Smith9-28/+147
2021-03-20 r/2292 feat(gs/achilles): Codegen string literalsGriffin Smith1-1/+5
2021-03-20 r/2291 chore(gs/achilles): Integrate with the depot buildGriffin Smith5-10/+32
2021-03-20 r/2290 chore(3p/exposed): Add glittershark to OWNERSGriffin Smith1-0/+1
2021-03-19 r/2289 fix(gs/xanthous): update xanthous.cabal, make CI catch such errorssterni3-13/+140
2021-03-19 r/2288 chore(gs/xanthous): fix for hgeometry 0.12.0.1sterni2-16/+2
2021-03-19 r/2287 fix(tazjin/emacs): Set notmuch custom variables through :customVincent Ambo2-5/+4
2021-03-19 r/2286 fix(gs/xanthous): fix build failures caused by dependency updatessterni7-11/+50
2021-03-19 r/2285 chore(3p/haskell_overlay): remove obsolete overridessterni4-253/+2
2021-03-19 r/2284 chore(3p): bump NixOS channels to 2021-03-18sterni5-11/+11
2021-03-15 r/2283 refactor(ops/dns): use drvTargets for meta.targets populationsterni1-7/+8
2021-03-15 r/2282 feat(users/Profpatsch): build attrset members on CIsterni11-43/+58
2021-03-15 r/2281 feat(ops/dns): Configure tvl.su zoneVincent Ambo2-0/+30
2021-03-15 r/2280 feat(ops/dns): Import tvl.fyi DNS zone into depotVincent Ambo4-0/+59
2021-03-15 r/2279 merge(glittershark/achilles): Subtree import at 'b93268085a'Vincent Ambo33-0/+4508
2021-03-14 Implement top-level ascription of declarationsGriffin Smith5-15/+73
2021-03-14 Universally quantified type variablesGriffin Smith17-112/+635
2021-03-14 Make string and bool parsing completeGriffin Smith2-5/+10
2021-03-14 Add string support to the frontendGriffin Smith10-11/+95
2021-03-13 Add the start of a hindley-milner typecheckerGriffin Smith20-78/+980
2021-03-13 r/2278 feat(users/adisbladis): Add to usersAdam H1-0/+5
2021-03-13 Allow exprs+bindings to optionally be ascriptedGriffin Smith6-38/+264
2021-03-13 Factor out expr parser into its own moduleGriffin Smith4-495/+510
2021-03-11 r/2277 feat(users/sterni/htmlman): hyperlink .Xr macro in outputsterni1-2/+32
2021-03-11 r/2276 feat(users/sterni/htmlman): static site generator for manual pagessterni5-0/+291
2021-03-08 Implement functions, both top-level and anonymousGriffin Smith10-125/+501
2021-03-07 Initial commitGriffin Smith24-0/+2316
2021-03-06 r/2275 fix(tazjin/emacs): Always show newest emails firstVincent Ambo1-0/+1
2021-03-06 r/2274 feat(tazjin/rlox): Implement global variable accessVincent Ambo4-6/+48
2021-03-06 r/2273 feat(tazjin/rlox): Implement global variable definitionVincent Ambo5-15/+80
2021-03-06 r/2272 refactor(tazjin/rlox): Refactor Compiler::consume into a macroVincent Ambo1-18/+21
2021-03-06 r/2271 fix(tazjin/rlox): Resynchronise after panickingVincent Ambo1-1/+32
2021-03-05 r/2270 feat(users/sterni/nix/utf8): pure nix utf-8 decodersterni3-0/+332
2021-03-05 r/2269 feat(users/sterni/nix/flow): add switch conditionalsterni1-23/+53
2021-03-05 r/2268 feat(users/sterni/nix/fun): make lrs read left to right completelysterni1-1/+1
2021-03-05 r/2267 refactor(users/sterni/nix/string): don't calculate length for dropsterni1-4/+5
2021-03-05 r/2266 feat(users/sterni/nix): move flow.match to string.matchsterni5-14/+17
2021-03-03 r/2265 feat(tazjin/rlox): Implement expression statementsVincent Ambo4-53/+78
2021-03-03 r/2264 feat(tazjin/rlox): Add support for print statementVincent Ambo3-5/+61
2021-03-02 r/2263 feat(tazjin/rlox): Intern all string constantsVincent Ambo4-19/+65
2021-03-02 r/2262 test(tazjin/rlox): Add simple string assertionsVincent Ambo1-0/+10
2021-03-01 r/2261 feat(users/Profpatsch/advent-of-code): 2020 day 04Profpatsch1-0/+104
2021-03-01 r/2260 feat(u/riking/dotfiles): add tmux.confKane York1-0/+6
2021-03-01 r/2259 feat(tazjin/rlox): Add a simple string internerVincent Ambo3-0/+112
2021-03-01 r/2258 feat(tazjin/rlox): Add initial support for stringsVincent Ambo3-1/+40
2021-03-01 r/2257 feat(users/sterni/nix): add sternis nix libsterni12-0/+811
2021-02-28 r/2256 feat(tazjin/rlox): Implement comparison operatorsVincent Ambo4-0/+43
2021-02-28 r/2255 feat(tazjin/rlox): Implement equality operatorVincent Ambo4-6/+50