Alfa Files
Lines
Words
Chars
File name
81
357
3202
ChipModel.alfa
46
171
1244
FiniteMaps2.alfa
30
123
882
Memories.alfa
93
375
2316
Monads.alfa
51
252
1457
State.alfa
451
1225
22077
ChipModelProps5.alfa
752
2503
31178
total
Reminder: Alfa files are rather verbose, due to a lot of explicit type information