Some tests for PSharp/psharp#2

2018-07-14 14:46:24 +01:00
parent f8cf602b91
commit 4fa254c4eb
10 changed files with 47 additions and 6 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -36,5 +36,8 @@
 	"cSpell.userWords": [
 		"belliash",
 		"codingworkshop",
-	]
+	],
+	"files.associations": {
+		"ph7int.h": "c"
+	}
 }