mechanicals - Various implementations of the lambda calculus and friends.

index : mechanicals

Various implementations of the lambda calculus and friends.

git daemon user

about summary refs log tree commit diff

Branch	Commit message	Author	Age
main	stlc-full: fix bug in context stratification	JJ	7 weeks

generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-16 12:17:22 +0000