rpeszek/notes-milewski-ctfp-hs

Stars
32
Rank 801,539 (Top 16 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 7 years ago
Updated over 5 years ago

rpeszek/notes-milewski-ctfp-hs

rpeszek

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

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

fpiglet

FUNctional Programming in Groovy. Adds to Groovy: Implicitly Curried Functions, Monads, Applicative, Functors and more ... This project was moved from:

typed-encoding

Type safe string restrictions and transformations

rpeszek.github.io

ts-experiments

Experiments in TypeScript

crud-ex-frontend-elm

Elm frontend for my polyglot CRUD project

typesafe-web-polyglot

Examples, templates of typesafe, functional web apps

my-blogs

experiments

IdrisTddScalaNotes

Scala version of my Haskell/Idris IdrisTddNotes project

eta-misc-test

Various checks and tests of eta and eta-hackage mostly to report issues

crud-ex-backent-http4s

Scala https4s polymorphic CRUD backend for my polyglot project

idris-chain

Dependently typed blockchain experiments in Idris

typed-encoding-encoding

Bridge between `encoding` and `typed-encoding` package

elm-double-navigate

Demonstrates Issue in Elm where onClick navigation triggers twice if button is inside a form

dag-check

Conceptual code for property testing of DAG graphs used for my work