decl erasure and examples

input-output-hk · Jan 15, 2021 · b4cae9a · b4cae9a
1 parent 9ca1847
commit b4cae9a
Show file tree

Hide file tree

Showing 8 changed files with 794 additions and 744 deletions.
diff --git a/Declarative.Erasure.html b/Declarative.Erasure.html
diff --git a/Declarative.Examples.StdLib.ChurchNat.html b/Declarative.Examples.StdLib.ChurchNat.html
diff --git a/Declarative.Examples.StdLib.Function.html b/Declarative.Examples.StdLib.Function.html
diff --git a/Declarative.Examples.StdLib.Nat.html b/Declarative.Examples.StdLib.Nat.html