G github.com Show HN: An encoding of the UK's self-isolation rules in Prolog 108 points jamespwilliams 5 years ago 23 comments
