User contributions
Jump to navigation
Jump to search
- 20:58, 30 August 2018 diff hist +240 User:Alastair.reid current
- 20:47, 30 August 2018 diff hist -49 User:Alastair.reid
- 20:45, 30 August 2018 diff hist +60 N Interest:Formal verification Created page with "{{Interest |name=Formal verification |desc=Z3 and friends }}" current
- 20:42, 30 August 2018 diff hist +70 N Interest:Scala Created page with "{{Interest |name=Scala |desc=Object oriented functional programming }}" current
- 20:41, 30 August 2018 diff hist +78 N Interest:O’Caml Created page with "{{Interest |name=O’Caml |desc=Functional programming with a French accent }}" current
- 20:40, 30 August 2018 diff hist +64 N Interest:Haskell Created page with "{{Interest |name=Haskell |desc=It’s pure, it’s functional }}" current
- 20:38, 30 August 2018 diff hist +133 m User:Alastair.reid Tweak interests
- 08:25, 30 August 2018 diff hist +24 N File:User-Alastair.reid.jpg Picture of Alastair Reid current
- 08:24, 30 August 2018 diff hist +489 N User:Alastair.reid Initial page