This website requires JavaScript.
Explore
Help
Sign In
pl
/
bidir
Watch
1
Star
0
Fork
You've already forked bidir
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
An implementation of bidirectional type checking for a SystemF-like language
1
commit
1
branch
0
tags
32
KiB
Rust
100%
master
Find a file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
BibTeX
Cancel
Michael Zhang
e58020ffa4
init
2023-12-07 10:35:12 -06:00
src
init
2023-12-07 10:35:12 -06:00
.gitignore
init
2023-12-07 10:35:12 -06:00
build.rs
init
2023-12-07 10:35:12 -06:00
Cargo.lock
init
2023-12-07 10:35:12 -06:00
Cargo.toml
init
2023-12-07 10:35:12 -06:00