untitled programming language project

A small language for computers and humans.

Features

Name	Name	Last commit message	Last commit date
Latest commit matthew-healy Add test case for type mismatch in annotated let Nov 20, 2023 1dbfadd · Nov 20, 2023 History 78 Commits
.github/workflows	.github/workflows	...or just fix the MacOS build	Jul 7, 2023
adrs	adrs	Document single-arg lambda design in ADR	Sep 26, 2023
examples	examples	Add test case for type mismatch in annotated let	Nov 20, 2023
src	src	Implement annotated let binding syntactic sugar	Nov 20, 2023
tests/integration	tests/integration	Implement bidirectional typechecker	Oct 2, 2023
.gitignore	.gitignore	Add .direnv to .gitignore	Jul 8, 2023
Cargo.lock	Cargo.lock	Intern variable names	Sep 27, 2023
Cargo.toml	Cargo.toml	Intern variable names	Sep 27, 2023
README.md	README.md	Unname	Oct 17, 2022
build.rs	build.rs	Add lalrpop dependency	Oct 13, 2022
flake.lock	flake.lock	Add checks and app to flake	May 18, 2023
flake.nix	flake.nix	Add checks and app to flake	May 18, 2023