Here we define Peano arithmetic using F# abstract data types.
5 people like thisPosted: 9 years ago by Daniil
Polymorphic (via generics) Maybe monad/computational expression with default value + Zipper
6 people like thisPosted: 9 years ago by Daniil
A Turing machine emulator. An infinite tape is simulated by a zipper, instructions are stored in the binary tree for faster lookup.
4 people like thisPosted: 9 years ago by Daniil