Pinned Repositories
docker-haskell-cabal
An example Haskell (Cabal) server packaged into multi-stage Docker
effect-ts-di-config
eocia-haskell
Essentials of Compilation: An Incremental Approach in Haskell
eocia-lean
Essentials of Compilation: An Incremental Approach in Lean 4
eocia-racket
Essentials of Compilation: An Incremental Approach in Racket
fpts-tagless-final-todo
Tagless Final pattern demonstration with fp-ts
keilambda.github.io
resources
List of educational resources
spring-boot-jpa-swagger-docker
ttfpi
Type Theory and Formal Proof: An Introduction
Kei Lambda's Repositories
keilambda/eocia-lean
Essentials of Compilation: An Incremental Approach in Lean 4
keilambda/fpts-tagless-final-todo
Tagless Final pattern demonstration with fp-ts
keilambda/effect-ts-di-config
keilambda/eocia-racket
Essentials of Compilation: An Incremental Approach in Racket
keilambda/keilambda.github.io
keilambda/resources
List of educational resources
keilambda/ttfpi
Type Theory and Formal Proof: An Introduction
keilambda/docker-haskell-cabal
An example Haskell (Cabal) server packaged into multi-stage Docker
keilambda/eocia-haskell
Essentials of Compilation: An Incremental Approach in Haskell
keilambda/natural-number-game
My solutions for Natural Number Game.
keilambda/spring-boot-jpa-swagger-docker
keilambda/cats-tagless-final-todo
keilambda/clinic-haskell
keilambda/eocia-agda
Essentials of Compilation: An Incremental Approach in Agda
keilambda/theorem-proving-in-lean4
Notes on "Theorem Proving in Lean 4" and exercise solutions