Skip to content

Commit 7471af9

Browse files
sColin16sColin16
committed
Restructure code into src and examples
1 parent a8877e1 commit 7471af9

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

54 files changed

+87
-401
lines changed

‎.gitignore‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
11
_build
2-
bin

‎dune-project‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
(lang dune 3.7)
22

3-
(name lambdaCalculus)
3+
(name setTypedLambdaCalculus)
44

55
(generate_opam_files true)
66

77
(source
8-
(github sColin16/structured-lambda))
8+
(github sColin16/set-typed-lambda-calculus))
99

1010
(authors "Colin Siles")
1111

‎src/structuredBool.ml‎ renamed to ‎example/boolean.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
open StructuredHelpers
1+
open ExampleHelpers
22
open TypeOperations.Union
33
open TypeOperations.Create
44

‎example/dune‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
(library
2+
(name setTypedLambdaExample)
3+
(libraries setTypedLambda))

‎example/example.ml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
module Boolean = Boolean
2+
module ExampleHelpers = ExampleHelpers
3+
module Mixed = Mixed
4+
module ModularArithmetic = ModularArithmetic
5+
module Polymorphism = Polymorphism
6+
module Recursive = Recursive
7+
module Unions = Unions

‎src/structuredHelpers.ml‎ renamed to ‎example/exampleHelpers.ml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
open Structured.Metatypes
2-
open Structured.TermTypes
3-
open Structured.TypeOperations.Create
4-
open Structured.TermOperations.Typing
5-
open Structured.TypeOperations.Union
1+
open Metatypes
2+
open TermTypes
3+
open TypeOperations.Create
4+
open TermOperations.Typing
5+
open TypeOperations.Union
66
open TypeOperations.Context
77
open TermOperations.Helpers
88

‎src/structuredMixed.ml‎ renamed to ‎example/mixed.ml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
open StructuredHelpers
2-
open StructuredArithmetic
3-
open StructuredBool
1+
open ExampleHelpers
2+
open ModularArithmetic
3+
open Boolean
44
open TypeOperations.Union
55
open TypeOperations.Create
66
open TermOperations.Helpers

‎src/structuredArithmetic.ml‎ renamed to ‎example/modularArithmetic.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
open StructuredHelpers
1+
open ExampleHelpers
22
open TypeOperations.Union
33
open TypeOperations.Create
44
open TermOperations.Helpers

‎src/structuredPoly.ml‎ renamed to ‎example/polymorphism.ml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
1-
open Structured.Metatypes
2-
open Structured.TermTypes
3-
open Structured.TypeOperations.Create
1+
open Metatypes
2+
open TermTypes
3+
open TypeOperations.Create
44
open TypeOperations.Helpers
55
open TypeOperations.Context
6-
open StructuredHelpers
7-
open StructuredBool
8-
open StructuredRecursive
6+
open ExampleHelpers
7+
open Boolean
8+
open Recursive
99
open TermOperations.Helpers
1010
open TypeOperations.MapType
1111

‎src/structuredRecursive.ml‎ renamed to ‎example/recursive.ml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
1-
open Structured.Metatypes
2-
open Structured.TermTypes
3-
open Structured.TypeOperations.Create
1+
open Metatypes
2+
open TermTypes
3+
open TypeOperations.Create
44
open TypeOperations.Union
5-
open StructuredHelpers
6-
open StructuredBool
5+
open ExampleHelpers
6+
open Boolean
77
open TermOperations.Helpers
88

99
let name = typed_term (Const "Name")

0 commit comments

Comments
 (0)