index
:
wpp
main
Project for PL course
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
Age
Commit message (
Collapse
)
Author
Files
Lines
2020-01-08
Initial commit
Paweł Dybiec
3
-0
/
+0
Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests