This website requires JavaScript.
Explore
Help
Register
Sign In
proglangs
/
bidir
Watch
1
Star
0
Fork
You've already forked bidir
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
An implementation of bidirectional type checking for a SystemF-like language
1
Commit
1
Branch
0
Tags
32
KiB
Rust
100%
master
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
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
Cargo.lock
init
2023-12-07 10:35:12 -06:00
Cargo.toml
init
2023-12-07 10:35:12 -06:00
build.rs
init
2023-12-07 10:35:12 -06:00