Mysaa/mpri-2.4-project-2023-2024
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 62f0389c94
         Implementend Generator, does not work main Mysaa 2024-03-15 02:29:39 +01:00
  • 024513767f
         Implemnted (most) of MSeq monad Mysaa 2024-03-14 20:48:52 +01:00
  • 8d3f175a82
         Added solver for Functor actions Mysaa 2024-03-14 14:16:53 +01:00
  • 88994419e3
         Added a test and fixed two inference bugs Mysaa 2024-03-14 13:54:36 +01:00
  • 8f45228e1d
         The solver works ... well at least it compiles Mysaa 2024-03-14 13:27:12 +01:00
  • 35d0bd817e
         Implemented solver for easy cases Mysaa 2024-03-11 20:15:09 +01:00
  • 5ed12f0cdf
         Added all type inference Mysaa 2024-03-11 17:52:04 +01:00
  • 5caeca79ff
         Added annotation, but not working Mysaa 2024-03-10 20:51:14 +01:00
  • 1fc5a46904
         Tried to implement Var and Abs has_type method ... MysaaJava 2024-02-15 05:46:29 +01:00
  • f600a1b212
         Backed up the original run.t file for comparison. Did the first dune promote (nothing works) MysaaJava 2024-02-15 01:41:21 +01:00
  • fd0213fe82 fix a ConstraintSimplifier bug Gabriel Scherer 2024-02-14 15:57:34 +01:00
  • 1f2bf2bb13 MSeq and MRand documentation: give an example. Gabriel Scherer 2024-02-08 15:47:35 +01:00
  • 44d184b6d4 Infer.has_type: include a full example of a constraint that works for (lambda x. x) Gabriel Scherer 2024-02-08 15:47:35 +01:00
  • c0ad56a745 move Decode from support/ to src/ for more visibility Gabriel Scherer 2024-01-23 23:31:43 +01:00
  • e76e32347f Merge branch 'main' into 'main' Gabriel Scherer 2024-01-16 14:35:35 +00:00
  • 56b91df9d5
         Make MSeq.delay and MRand.delay lazy Neven Villani 2024-01-15 17:38:07 +00:00
  • bb1ec74794 README: tip of GADTs in OCaml Gabriel Scherer 2024-01-07 23:06:16 +01:00
  • 88ce70e6ee give more hints in Generator.ml Gabriel Scherer 2024-01-07 23:01:42 +01:00
  • 97e3c01eaa clarify(?) the documentation of ['a on_sol] Gabriel Scherer 2024-01-07 22:37:37 +01:00
  • 3cf46e36c2 minigen: ensure that it is possible to run with only MSeq implemented Gabriel Scherer 2024-01-07 22:30:05 +01:00
  • 1b02ba850c Infer: explicitly restrict tuples to pairs Gabriel Scherer 2023-12-23 01:22:47 +01:00
  • 1852d50231 parser: use braces around tuples, not parentheses Gabriel Scherer 2023-12-23 01:20:08 +01:00
  • e848910039 testsuite: avoids 4-indented code blocks that pass for test output Gabriel Scherer 2023-12-22 15:47:51 +01:00
  • fce7844414 fix the OCaml bound in .opam: we use Seq.take which is 4.14 Gabriel Scherer 2023-12-22 15:47:34 +01:00
  • 96bd055026 first public release of the project Gabriel Scherer 2023-12-21 00:40:52 +01:00
  • 6c3e9720fc root Gabriel Scherer 2023-12-21 00:39:18 +01:00