←back to thread

Solving `Passport Application` with Haskell

(jameshaydon.github.io)
306 points jameshh | 1 comments | 28 Jun 25 23:01 UTC | HN request time: 0.419s | source
1. triangle-man ◴[01 Jul 25 18:00 UTC] No.44436503[source]▶
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%20Nationality%2...