From 7c0fbb5f4a8dafcfd2387a4a1aa286bb2a739de9 Mon Sep 17 00:00:00 2001 From: Matei Adriel Date: Sun, 29 Oct 2023 01:15:32 +0200 Subject: [PATCH] Make file-structures more readable --- idris/learning/README.md | 14 +++++++------- lean/learning/README.md | 10 +++++----- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/idris/learning/README.md b/idris/learning/README.md index 2b7e661..d25d6b7 100644 --- a/idris/learning/README.md +++ b/idris/learning/README.md @@ -4,10 +4,10 @@ This directory contains the results of my first adventure into the world of Idri ## File structure -| File | Description | -| ---------------------------------------------------------- | --------------------------------------------- | -| [./src/My/Nats.idr](./src/My/Nats.idr) | Natural numbers | -| [./src/My/Signs.idr](./src/My/Signs.idr) | Signs (essentially $\mathbb Z / 2 \mathbb Z$) | -| [./src/My/Integers.idr](./src/My/Integers.idr) | Integers as differences of naturals | -| [./src/My/Structures.idr](./src/My/Structures.idr) | Setoids, semigroups, monoids and groups | -| [./src/My/Syntax/Rewrite.idr](./src/My/Syntax/Rewrite.idr) | Coping with the lack of tactics | +| File | Description | +| ------------------------------------------------- | --------------------------------------------- | +| [Nats.idr](./src/My/Nats.idr) | Natural numbers | +| [Signs.idr](./src/My/Signs.idr) | Signs (essentially $\mathbb Z / 2 \mathbb Z$) | +| [Integers.idr](./src/My/Integers.idr) | Integers as differences of naturals | +| [Structures.idr](./src/My/Structures.idr) | Setoids, semigroups, monoids and groups | +| [Syntax/Rewrite.idr](./src/My/Syntax/Rewrite.idr) | Coping with the lack of tactics | diff --git a/lean/learning/README.md b/lean/learning/README.md index 44b4a36..eced62c 100644 --- a/lean/learning/README.md +++ b/lean/learning/README.md @@ -4,8 +4,8 @@ This directory contains the results of my first adventure into the world of Lean ## File structure -| File | Description | -| ---------------------------------------------------- | ------------------------------------------------------- | -| [./Learning/Noob.lean](./Learning/Noob.lean) | Syntax practice | -| [./Learning/Nat.lean](./Learning/Nat.lean) | Natural numbers | -| [./Learning/Integers.lean](./Learning/Integers.lean) | Integers as quotient types over differences of naturals | +| File | Description | +| ----------------------------------------- | ------------------------------------------------------- | +| [Noob.lean](./Learning/Noob.lean) | Syntax practice | +| [Nat.lean](./Learning/Nat.lean) | Natural numbers | +| [Integers.lean](./Learning/Integers.lean) | Integers as quotient types over differences of naturals |