Viewing profile — triangle-man
triangle-man
HN member- Joined
- Wed, Oct 10, 2018, 10:19 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About triangle-man
No profile information was provided.
Recent public activity
-
comment
Comment #44436503
Trying to track down some other reference, I see that there was work on formalising British nationality -- in Prolog! -- in 1986: https://www.doc.ic.ac.uk/~rak/papers/British%20Nat…