Beast code in Giters

Kei Lambda's repositories

Essentials of Compilation: An Incremental Approach in Lean 4

Language:LeanBSD-3-Clause300

Tagless Final pattern demonstration with fp-ts

Language:TypeScript200

Language:TypeScriptBSD-3-Clause100

Essentials of Compilation: An Incremental Approach in Racket

Language:RacketBSD-3-Clause100

Language:HTML100

List of educational resources

CC-BY-4.0100

Type Theory and Formal Proof: An Introduction

Language:Lean100

An example Haskell (Cabal) server packaged into multi-stage Docker

Language:HaskellBSD-3-Clause000

Essentials of Compilation: An Incremental Approach in Haskell

Language:HaskellBSD-3-Clause000

My solutions for Natural Number Game.

Language:LeanGPL-3.0000

Language:JavaBSD-3-Clause000

Language:Scala000

Language:HaskellBSD-3-Clause000

Essentials of Compilation: An Incremental Approach in Agda

Language:Agda000

Notes on "Theorem Proving in Lean 4" and exercise solutions

Language:Lean000