Skip to content
Browse files


  • Loading branch information...
craff committed Aug 3, 2017
1 parent 7fc74ef commit 31ac4501e527692c543a96328c1cdfcec962d5e3
Showing with 2 additions and 0 deletions.
  1. +2 −0 IDEAS
@@ -38,3 +38,5 @@ Here are some ideas (en vrac) that makes pml2 what it is.

- we face undecidability, but only subtyping may loop => error messages
as usual and fixed when PML loop

- surcharge et sous-typage ensemble (truc qui ne marchait pas dans PML1)

0 comments on commit 31ac450

Please sign in to comment.
You can’t perform that action at this time.