aistrate / ArticlesLinks
Various interesting articles, in PDF or PS form
☆239Updated 12 years ago
Alternatives and similar repositories for Articles
Users that are interested in Articles are comparing it to the libraries listed below
Sorting:
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆144Updated 9 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆264Updated 7 years ago
- The home of the Glamorous Glambda interpreter☆228Updated 10 months ago
- ☆171Updated 10 years ago
- Write You a Scheme☆573Updated 3 years ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- ☆227Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Haskell papers optimized for my e-reader.☆271Updated 9 years ago
- Examples of Dependently-typed programs in Haskell☆308Updated 3 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆316Updated 2 years ago
- Introduction to parsing with Haskell and Parsec☆507Updated 6 years ago
- Software Foundations in Idris☆457Updated 6 years ago
- 𝛌 Awesome Idris resources☆409Updated 5 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆404Updated 7 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- Resources for the online Type Theory Study Group☆162Updated 7 years ago
- A collection of resources for learning type theory.☆99Updated 9 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆190Updated 9 years ago
- Haskell Programming From First Principles - Follow-up Resources☆503Updated 8 years ago
- Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"☆358Updated 7 months ago
- ☆96Updated 11 years ago
- Repository for collaborative Haskell documentation☆207Updated 3 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 7 years ago
- Generalized bananas, lenses and barbed wire☆352Updated 2 weeks ago
- Notes and files from HaskellerZ meetups.☆214Updated 6 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- Source material for Algebra-Driven Design☆157Updated 2 years ago