3 commits

Author	SHA1	Message	Date
Martin Fredin	9870802371	Add implicit foralls for bidir, update and unify pipeline	2023-04-05 17:26:52 +02:00
Martin Fredin	bbe0d77a19	Add signature of inferred bind to allow some mutually defined definitions	2023-03-30 12:35:47 +02:00
Samuel Hammersberg	ccfae19541	Added .crf to every sample-program	2023-03-26 18:38:07 +02:00

Renamed from sample-programs/basic-1 (Browse further)