ref: formatting

This commit is contained in:
Léana 江 2023-07-23 15:33:14 +08:00 committed by Léana 江
parent 718ddbf69d
commit 2e7d1cc976
5 changed files with 165 additions and 168 deletions

View file

@ -1,14 +1,9 @@
{
"Main module": {
"prefix": "mm",
"Assertion": {
"prefix": "asrt",
"body": [
"module Main where",
"",
"",
"",
"main = do",
" print $ \"hello\""
"print $ assert ($0) \"Ok\""
],
"description": "Map using dictionary comprehension"
"description": "Assert"
}
}