index
:
makkai
main
Type theory implementation
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
main.rs
blob: 56e14c5f6f463c95f25567eca11ff032cccb4419 (
plain
)
1
2
3
4
5
6
mod
checker
;
mod
parser
;
fn
main
()
{
println!
(
"Hello, world!"
);
}