depot
this commit
canon
subtree-staging
monorepo for the virus lounge
The Virus Lounge
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
users
/
tazjin
/
emacs
/
config
(
unfollow
)
Age
Commit message (
Expand
)
Author
Files
Lines
2021-03-15
r/2280
feat(ops/dns): Import tvl.fyi DNS zone into depot
Vincent Ambo
4
-0
/
+59
2021-03-14
Implement top-level ascription of declarations
Griffin Smith
5
-15
/
+73
2021-03-14
Universally quantified type variables
Griffin Smith
17
-112
/
+635
2021-03-14
Make string and bool parsing complete
Griffin Smith
2
-5
/
+10
2021-03-14
Add string support to the frontend
Griffin Smith
10
-11
/
+95
2021-03-13
Add the start of a hindley-milner typechecker
Griffin Smith
20
-78
/
+980
2021-03-13
r/2278
feat(users/adisbladis): Add to users
Adam H
1
-0
/
+5
2021-03-13
Allow exprs+bindings to optionally be ascripted
Griffin Smith
6
-38
/
+264
2021-03-13
Factor out expr parser into its own module
Griffin Smith
4
-495
/
+510
2021-03-11
r/2277
feat(users/sterni/htmlman): hyperlink .Xr macro in output
sterni
1
-2
/
+32
2021-03-11
r/2276
feat(users/sterni/htmlman): static site generator for manual pages
sterni
5
-0
/
+291
2021-03-08
Implement functions, both top-level and anonymous
Griffin Smith
10
-125
/
+501
2021-03-06
r/2275
fix(tazjin/emacs): Always show newest emails first
Vincent Ambo
1
-0
/
+1
2021-03-06
r/2274
feat(tazjin/rlox): Implement global variable access
Vincent Ambo
4
-6
/
+48
2021-03-06
r/2273
feat(tazjin/rlox): Implement global variable definition
Vincent Ambo
5
-15
/
+80
2021-03-06
r/2272
refactor(tazjin/rlox): Refactor Compiler::consume into a macro
Vincent Ambo
1
-18
/
+21
2021-03-06
r/2271
fix(tazjin/rlox): Resynchronise after panicking
Vincent Ambo
1
-1
/
+32
2021-03-05
r/2270
feat(users/sterni/nix/utf8): pure nix utf-8 decoder
sterni
3
-0
/
+332
2021-03-05
r/2269
feat(users/sterni/nix/flow): add switch conditional
sterni
1
-23
/
+53
2021-03-05
r/2268
feat(users/sterni/nix/fun): make lrs read left to right completely
sterni
1
-1
/
+1
2021-03-05
r/2267