gtestault / primitive-recursive-functions

Implementation of game of life and a bunch of primitive recursive functions at the type level in rust

Conway's Game of Life at type level in Rust.

Output for BLINKER type: 
 
   Generation 1:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - X X X - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   
   
   
   
   Generation 2:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - X - - - - - 
   - - - - - X - - - - - 
   - - - - - X - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   
   
   Generation 3:
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - X X X - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 
   - - - - - - - - - - - 

compile time for 15 generations on intel-i5 4460: 10m 01s