Compsci Weekly on Nostr: Simply Typed Lambda Calculus in Datalog ...
Simply Typed Lambda Calculus in Datalog
https://hg.sr.ht/~icefox/pancake/browse/src/main.rs?rev=simply-typed-lambda-calculus
Discussions: https://discu.eu/q/https://hg.sr.ht/~icefox/pancake/browse/src/main.rs?rev=simply-typed-lambda-calculus
#compsci #plt
https://hg.sr.ht/~icefox/pancake/browse/src/main.rs?rev=simply-typed-lambda-calculus
Discussions: https://discu.eu/q/https://hg.sr.ht/~icefox/pancake/browse/src/main.rs?rev=simply-typed-lambda-calculus
#compsci #plt