Pinned Loading

1. slides-of-lectures slides-of-lectures Public

   Slides of @buzden lectures on functional programming

   2

2. code-for-lectures code-for-lectures Public

   Code that @buzden used for lectures and talks on functional programming

   Idris 1

3. deptycheck deptycheck Public

   Facilities for generating dependently-typed data

   Idris 23 6

4. idris2-coop idris2-coop Public

   A library for simple concurrency without parallelism

   Idris 7

5. stepcut/idris-blink stepcut/idris-blink Public

   A simple Idris program to blink the LED on an Arduino

   Makefile 55 3