Guess a number works again pog

kast-lang · Jul 23, 2024 · 1c0db5b · 1c0db5b
1 parent 0878d29
commit 1c0db5b
Show file tree

Hide file tree

Showing 6 changed files with 300 additions and 210 deletions.
diff --git a/README.md b/README.md
@@ -25,3 +25,15 @@ An experimental programming language
 - More examples
 - Borrow checker
 - Tests
+
+## Look into:
+
+- rankNtypes (check)
+- user-defined rewrite rules
+- GADT
+- differentiable
+- software transational memory
+- dependent types
+- refinement types
+- oncapture callback for closures?
+
diff --git a/flake.nix b/flake.nix
@@ -22,7 +22,7 @@
         ];
         shellHook = ''
           # eval $(opam env)
-          export OCAMLRUNPARAM=b
+          # export OCAMLRUNPARAM=b
         '';
       };
       formatter.${system} = pkgs.nixpkgs-fmt;

diff --git a/lib/id.ml b/lib/id.ml
@@ -17,3 +17,4 @@ module MapImpl = struct
 end
 
 module Map = Map.Make (MapImpl)
+module Set = Set.Make (MapImpl)
Original file line number	Diff line number	Diff line change
Expand Up		@@ -17,3 +17,4 @@ module MapImpl = struct
		end

		module Map = Map.Make (MapImpl)
		module Set = Set.Make (MapImpl)