Contents:

Library TypedExtraction.Tests.RecordUpdate

Library TypedExtraction.Tests.BernsteinYangTermination

Library TypedExtraction.Tests.ElmExtractExamples

Examples for extraction to Elm

Library TypedExtraction.Tests.Ack

Ackermann function

Library TypedExtraction.Tests.InternalFix

Library TypedExtraction.Tests.ElmExtractTests

Tests for extraction to Elm

Library TypedExtraction.Tests.ElmForms

Elm web app example

Library TypedExtraction.Tests.RecordSet

Library TypedExtraction.Tests.RustExtractTests

Tests for extraction to Rust

Library TypedExtraction.Rust.TopLevelFixes

Library TypedExtraction.Rust.Printing

Library TypedExtraction.Rust.PluginExtract

Definitions below are used in the extracted plugin

Library TypedExtraction.Rust.RustExtract

Library TypedExtraction.Plugin.ExtrRustUncheckedArith

Library TypedExtraction.Plugin.ExtractExtraction

Library TypedExtraction.Plugin.ExtrRustBasic

Library TypedExtraction.Plugin.ExtrRustCheckedArith

Library TypedExtraction.Plugin.Loader

Library TypedExtraction.Elm.ElmExtract

Library TypedExtraction.Common.PrettyPrinterMonad

Library TypedExtraction.Common.Common

Library TypedExtraction.Common.StringExtra