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	6 weeks

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