intro to Lab2 from today's lecture

This commit is contained in:
Aarne Ranta
2024-04-17 13:18:04 +02:00
parent 41536b43a0
commit 2fa44fabae
3 changed files with 59 additions and 0 deletions

View File

@@ -0,0 +1,15 @@
--# -path=.:../abstract
concrete MicroLangEng of MicroLang =
open MicroResEng
in {
lincat
N = Noun ;
lin
animal_N = mkN "animal" ;
apple_N = mkN "apple" ;
baby_N = mkN "baby" ;
woman_N = mkN "woman" "women" ;
}