GitHub repository: zoosmand/ifc-winglang
Primary language: CWeb
Created: 2024-02-21T15:57:04Z
Description: IfC pre-tests with Wing language.