Folkert 894ef2b7b2 Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality		2021-07-30 23:34:16 +02:00
..
benchmarks	disable Nat for now	2021-07-29 14:41:22 +02:00
effect	Move model/msg Package-Config code to examples/tea	2021-07-19 22:23:39 -04:00
hello-rust	add a "hello-rust" example	2021-07-20 09:22:40 -05:00
hello-world	typos	2021-07-30 16:54:22 +02:00
hello-zig	typos	2021-07-30 16:54:22 +02:00
quicksort	fix shadowing of layout	2021-06-14 21:03:17 +02:00
.gitignore	Move benchmarks/ up a directory	2021-07-26 22:38:55 -04:00