From 66a7758d4838a76a7979420f1674f8fbd664e3f2 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 10 Aug 2022 18:33:20 +0200 Subject: feat(language): modal parameter types --- subprojects/language-model/problem.aird | 22 +++++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) (limited to 'subprojects/language-model/problem.aird') diff --git a/subprojects/language-model/problem.aird b/subprojects/language-model/problem.aird index 07bc0793..9bd76766 100644 --- a/subprojects/language-model/problem.aird +++ b/subprojects/language-model/problem.aird @@ -7,7 +7,7 @@ build/resources/main/model/problem.genmodel - + @@ -89,6 +89,10 @@ + + + + @@ -2074,10 +2078,18 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + + + + + + + + + @@ -2121,12 +2133,12 @@ - + - + italic - + -- cgit v1.2.3-54-g00ecf