primitive-recursive-functions icon indicating copy to clipboard operation
primitive-recursive-functions copied to clipboard

Published 20 hours ago • verified publisher icon gtestault
→

Metadata

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

Build Status

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

← Metadata

38
Stars
1
Forks
Watchers

Owner

verified publisher icon gtestault

Metadata

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

Back