JonathanLorimer/conceptual-mathematics JonathanLorimer/conceptual-mathematics

  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language Agda
  • Created almost 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JonathanLorimer/conceptual-mathematics
github

JonathanLorimer

Reviews

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

Repository Details

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

More Repositories

1

core-warn

Provide warnings for unexpected Core generation
Haskell
29
star
2

weft

GraphQL Schema generation in Haskell
Haskell
17
star
3

book-of-monads

Exercises from the 'Book of Monads' by Alejandro Serrano Mena
Haskell
17
star
4

nix-config

My home manager config
Nix
11
star
5

haskwire

HTML Over The Wire, bringing SSR to Haskell
Nix
6
star
6

templates

Rust
4
star
7

codata

Haskell
3
star
8

cfg

Simple Haskell configuration library
Haskell
3
star
9

tdd-with-idris2

Working through Type Driven Development with Idris, using Idris2
Idris
3
star
10

jonathanlorimer.github.io

Haskell
2
star
11

fp-in-typescript

TypeScript
2
star
12

Optics-By-Example

Exercises for Chris Penner's Optics By Example
Haskell
2
star
13

haskell_book

Haskell Book Course put on by FP Complete and Chris Allen
Haskell
2
star
14

Thinking-With-Types-II

Haskell
1
star
15

thinking-with-types

Types types types
Haskell
1
star
16

adventure-time

Haskell
1
star
17

sparkplug

Dhall
1
star
18

advent-of-code-2019

Haskell
1
star
19

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
Haskell
1
star
20

mf-hask

Implementation of Multiformats library in Haskell
Haskell
1
star
21

the-little-typer

Nix
1
star
22

bed-n-blockchain

Airbnb clone on the block chain
JavaScript
1
star
23

OPLSS22

Notes and exercises fro OPLSS22
Agda
1
star
24

bridge-testing-tutorial

JavaScript
1
star
25

vue-deep-dive

Vue Deep Dive workshop
HTML
1
star
26

seat-sorter

Take home challenge
Haskell
1
star
27

haskell-exercism

Haskell Practice
Haskell
1
star
28

FunctionalProgrammingThroughLambdaCalculus

Exercises for Functional Programming Through Lambda Calculus - Greg Michaelson
Haskell
1
star