Add Erlang source

christian-public · Dec 14, 2022 · 58972e7 · 58972e7
1 parent 5487b88
commit 58972e7
Show file tree

Hide file tree

Showing 545 changed files with 31,038 additions and 0 deletions.
diff --git a/src/Idris.Idris2.Algebra.Preorder.erl b/src/Idris.Idris2.Algebra.Preorder.erl
diff --git a/src/Idris.Idris2.Algebra.Semiring.erl b/src/Idris.Idris2.Algebra.Semiring.erl
diff --git a/src/Idris.Idris2.Algebra.ZeroOneOmega.erl b/src/Idris.Idris2.Algebra.ZeroOneOmega.erl
diff --git a/src/Idris.Idris2.Algebra.erl b/src/Idris.Idris2.Algebra.erl
diff --git a/src/Idris.Idris2.Builtin.DPair.DPair.erl b/src/Idris.Idris2.Builtin.DPair.DPair.erl
diff --git a/src/Idris.Idris2.Builtin.erl b/src/Idris.Idris2.Builtin.erl