You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Michael Sippel 04c59fbd85 add more type declarations		2 weeks ago
src	add more type declarations	2 weeks ago
.gitignore	initial commit	4 months ago
Cargo.toml	add cli option --check-expr for a non-interactive typecheck as plugin for other shells	3 months ago
gettype.sh	read process types from file with regexp patterns	3 months ago
testscript.sh	read process types from file with regexp patterns	3 months ago
typedb	add more type declarations	2 weeks ago