Submissions by bor0

Introduction and Formalization of Boolean Algebra

GEB: An EGB Overview (Part I)

Idea: News Diversity

Formalizing Expresiveness of Line Editors

Proving Groupoids with Idris

Freedom of Creativity

Tuply Singleton v3 (With Proof)

Tuply Singleton v2

Tuply Singleton

One plus one equals two

Meet Them All

Abstraction and Generalization of Objects

Generalized Average

Arithmetic on Algebraic Data Types

Brief Introduction to ML with Gradient Descent

Customer-Driven Engineering

Lambda Calculus with Generalized Abstraction

Writing a lambda calculus type-checker in Haskell

Writing a lambda calculus evaluator in Haskell

Writing a simple evaluator and type-checker in Haskell

Self-publishing my first book

CoC Base Terms – Type and Prop

Dependently Typed Lambda Calculus in Haskell

Proving Monoids with Idris

Partial orders in Idris

Mathematical structure of `git-bisect`