Copyright | (c) Joel Burget |
---|---|

License | BSD3 |

Maintainer | erkokl@gmail.com |

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

Define the fibonacci sequence as an SBV symbolic list.

Copyright | (c) Joel Burget |
---|---|

License | BSD3 |

Maintainer | erkokl@gmail.com |

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

Define the fibonacci sequence as an SBV symbolic list.