Jan Gruteser: add Freetypes page

2024-04-22T12:29:54Z

add Freetypes page

← Older revision		Revision as of 12:29, 22 April 2024
Line 10:		Line 10:
	= [[Deferred Sets]] =		= [[Deferred Sets]] =
	{{:Deferred Sets}}		{{:Deferred Sets}}

			= [[Free Types]] =
			{{:Free Types}}

	= [[External Functions]] =		= [[External Functions]] =

David Geleßus: Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}..."

2021-06-14T11:50:46Z

Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}..."

New page

= [[Current Limitations]] =
{{:Current Limitations}}

= [[Summary of B Syntax]] =
{{:Summary of B Syntax}}

= [[Types]] =
{{:Types}}

= [[Deferred Sets]] =
{{:Deferred Sets}}

= [[External Functions]] =
{{:External Functions}}

= [[Recursively Defined Functions]] =
{{:Recursively Defined Functions}}

= [[Memoization for Functions]] =
{{:Memoization for Functions}}

= [[Tips: B Idioms]] =
{{:Tips: B Idioms}}

= [[Tips: Writing Models for ProB]] =
{{:Tips: Writing Models for ProB}}

= [[Debugging]] =
{{:Debugging}}

= See also =

* [[Tutorial Modeling Infinite Datatypes]]

Handbook/B Language - Revision history

Jan Gruteser: add Freetypes page

David Geleßus: Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}..."