zacgarby

7 ms·

1. 1.▲
   by zacgarby 2y ago

   Very good question! Funnily enough, it was indeed a conscious decision to avoid mentioning "inference", because then people might expect that we're doing polymorphism with type variables/or maybe that we're deriving
2. 2.▲
   by zacgarby 2y ago

   Hi! Author here. Very nice surprise to see this on the front page of HN this morning :) Happy to answer any questions if anybody has any!
3. 3.▲
   by zacgarby 2y ago

   this is great! i’ve been thinking about exactly this (though styled after Logseq rather than Obsidian) but not gotten as far as implementing anything. that being said, the thing i haven’t been able to convince myself of yet is why these are
4. 4.▲
   by zacgarby 3y ago

   no, but `$ yes "a cat is an animal"` does (if you know how to interpret it)