Copyright | (C) 2017 Ryan Scott |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Ryan Scott |

Stability | Experimental |

Portability | GHC |

Safe Haskell | Trustworthy |

Language | Haskell2010 |

A crude imitation of an eliminator function for `Nat`

.

Copyright | (C) 2017 Ryan Scott |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Ryan Scott |

Stability | Experimental |

Portability | GHC |

Safe Haskell | Trustworthy |

Language | Haskell2010 |

A crude imitation of an eliminator function for `Nat`

.