1
0
Fork
You've already forked tutorials
0
forked from jjl/tutorials
No description
  • Idris 100%
2024年01月27日 08:40:05 +00:00
00-setup.md feat: add nixos instructions 2023年12月26日 18:01:37 +01:00
01-introduction.md update install instructions, a little introduction 2023年12月26日 14:44:01 +01:00
02-type-theory.lidr first commit 2023年11月25日 16:37:16 +01:00
03-category-theory.lidr first commit 2023年11月25日 16:37:16 +01:00
NN-rewrite-and-proofs.md feat: add rewrite tutorial 2023年12月30日 17:46:38 +01:00
README.md update install instructions, a little introduction 2023年12月26日 14:44:01 +01:00

Tutorials

Idris

  1. Setting up idris
  2. Idris introduction

idris library docs

Other stuff

The type theory tutorial is incredibly barebones and the category theory stuff sort of went wrong and you should probably ignore them for now.