JonathanLorimer/core-warn

Stars
29
Rank 836,602 (Top 17 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 2 years ago
Updated almost 2 years ago

JonathanLorimer/core-warn

JonathanLorimer

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

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

tdd-with-idris2

Working through Type Driven Development with Idris, using Idris2

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

fp-talks

A bunch of the presentations I have done with the Toronto Haskell Meetup

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