Version Control

Mon, 01 Jan 0001 00:00:00 +0000

Version Control Setup

Project hosting

Todo

project hosting

Git basics

git

Todo

explain what a commit is
explain what a branch is
explain what a repository is

Branch structure

Todo

main - what is the main branch for
feature/XYZ/name - what are feature branches

Pull request management

Todo

create pr via UI
fj command line tool
pull request body
pull request based tooling

Forks

Todo

how forks are intended to be handled

Module Structure

Mon, 01 Jan 0001 00:00:00 +0000

fixed point combinator

lambda calculus

Lambda calculus is a field of mathematics that is used to express computation and formal logic through only using defining statements each relative to a variable and then binding values to those variables through substitution.

For illustration think of the statement λx. x + 1. What this statement says is given a lambda function that has a variable of x; take whatever value is supplied to x and add 1 to it yielding the result. While technically this is not valid lambda calculus because it utilizes mathematical concepts not native to that field such as addition and the idea of numbers it illustrates the concept on how to read a lambda calculus expression.

Documentation on nix-config

Version Control

Version Control Setup

Project hosting

Git basics

Branch structure

Pull request management

Forks

Module Structure

fixed point combinator

lambda calculus