JonathanLorimer/tdd-with-idris2

Stars
3
Rank 3,963,521 (Top 79 %)
Language Idris
Created almost 4 years ago
Updated almost 3 years ago

JonathanLorimer/tdd-with-idris2

JonathanLorimer

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Working through Type Driven Development with Idris, using Idris2

core-warn

Provide warnings for unexpected Core generation

conceptual-mathematics

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

weft

GraphQL Schema generation in Haskell

book-of-monads

Exercises from the 'Book of Monads' by Alejandro Serrano Mena

nix-config

My home manager config

haskwire

HTML Over The Wire, bringing SSR to Haskell

templates

codata

cfg

Simple Haskell configuration library

jonathanlorimer.github.io

fp-in-typescript

Optics-By-Example

Exercises for Chris Penner's Optics By Example

haskell_book

Haskell Book Course put on by FP Complete and Chris Allen

Thinking-With-Types-II

thinking-with-types

Types types types

adventure-time

sparkplug

advent-of-code-2019

aws-lambda-haskell-error

A repo reproducing an error I encountered in the haskell runtime for aws lambda, particularly trying to locate the libpcre.so.3

mf-hask

Implementation of Multiformats library in Haskell

the-little-typer

bed-n-blockchain

Airbnb clone on the block chain

OPLSS22

Notes and exercises fro OPLSS22

bridge-testing-tutorial

vue-deep-dive

Vue Deep Dive workshop

seat-sorter

Take home challenge

haskell-exercism

Haskell Practice

FunctionalProgrammingThroughLambdaCalculus

Exercises for Functional Programming Through Lambda Calculus - Greg Michaelson