Alfred Bratterud alfreb

• Funcom

• Oslo, Norway
• http://includeos.org

Organizations

Pinned Loading

1. Turing machines implemented directly from Turing's 1936 paper

   Haskell 4 1

2. Lambda calculus implemented directly from Alonzo Church's 1936 paper

   Haskell 12