837 B
837 B
Idris learning
This directory contains the results of my first adventure into the world of Idris 2.
File structure
| File | Description |
|---|---|
| Nats.idr | Natural numbers |
| Signs.idr | Signs (essentially \mathbb Z / 2 \mathbb Z) |
| Integers.idr | Integers as differences of naturals |
| Structures.idr | Setoids, semigroups, monoids and groups |
| Syntax/Rewrite.idr | Coping with the lack of tactics |