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