Skip to content

LittleJianCH/utlc-and-stlc-in-ts

Repository files navigation

About

un&simple-type lambda calculus written in typescript

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published