Commits · master · Rob Kleffner / TypesAndInference · GitLab

Jan 10, 2021
- Add README.md · a94419f7
  Rob Kleffner authored Jan 10, 2021
  
  a94419f7
- Add LICENSE · e2f96fb3
  Rob Kleffner authored Jan 10, 2021
  
  e2f96fb3
- Dotted types · 110b479c
  Rob Kleffner authored Jan 09, 2021
  
  110b479c
Jan 09, 2021
- Inference for dots is initial complete, one useful passing test, one failing · 2db8435b
  Rob Kleffner authored Jan 08, 2021
  
  2db8435b
Jan 03, 2021
- Fixing bugs with occurs checks · bb5d5347
  Rob Kleffner authored Jan 02, 2021
  
  bb5d5347
Jan 02, 2021
- Type inference for records and variants with scoped labels, now to add tests · 6aeb2439
  Rob Kleffner authored Jan 02, 2021
  
  6aeb2439
Jan 01, 2021
- More simplification steps for boolean equations · b2f7cada
  Rob Kleffner authored Jan 01, 2021
  
  b2f7cada
Dec 31, 2020
- Fixing some remaining bugs, all standard HM tests pass! · 2e6648a7
  Rob Kleffner authored Dec 31, 2020
  
  2e6648a7
- Figuring out more simplifications to add, fixing a couple constraint bugs · 6ae8d2b6
  Rob Kleffner authored Dec 31, 2020
  
  6ae8d2b6
- Fix another couple bugs and make a more complex test pass · c4a76b9e
  Rob Kleffner authored Dec 30, 2020
  
  c4a76b9e
- Uniqueness inference passes a couple basic tests · 616b9fb3
  Rob Kleffner authored Dec 30, 2020
  
  616b9fb3
Dec 29, 2020
- Starting inference for uniqueness types · 566950df
  Rob Kleffner authored Dec 28, 2020
  
  566950df
Dec 26, 2020
- Trying another image · 335de345
  Rob Kleffner authored Dec 26, 2020
  
  335de345
- Use .NET 5 image · 8d37cec9
  Rob Kleffner authored Dec 26, 2020
  
  8d37cec9
- Simplifying some of the constraint solving code · bc9f43f2
  Rob Kleffner authored Dec 26, 2020
  
  bc9f43f2
- Remove needless FSharp from units namespace · 00a4caa1
  Rob Kleffner authored Dec 26, 2020
  
  00a4caa1
Dec 25, 2020
- Remove remaining c# projects, rename all f# projects · 96f5de48
  Rob Kleffner authored Dec 24, 2020
  
  96f5de48
- Had to fix some tests, system seems acceptable now · f1f9f5d8
  Rob Kleffner authored Dec 24, 2020
  
  f1f9f5d8
- Close, some weird substitution going on · a4e43fb7
  Rob Kleffner authored Dec 24, 2020
  
  a4e43fb7
Dec 24, 2020
- Almost have units translated to f#, some tests failing · fbc94eb3
  Rob Kleffner authored Dec 24, 2020
  
  fbc94eb3
- Renaming basic, adding fsharp version of type inference with units · a6fd7cf0
  Rob Kleffner authored Dec 23, 2020
  
  a6fd7cf0
- Removing c# basic type inference projects · 9fe2983a
  Rob Kleffner authored Dec 23, 2020
  
  9fe2983a
- Basic HM type inference implemented by copying and stripping type class functionality · e417f9fa
  Rob Kleffner authored Dec 23, 2020
  
  e417f9fa
Dec 23, 2020
- Use .net 5 image · 71a81611
  Rob Kleffner authored Dec 23, 2020
  
  71a81611
- Rename f# projects now that c# projects are gone · 0901ae63
  Rob Kleffner authored Dec 23, 2020
  
  0901ae63
- Remove c# typeclass projects · c74e4e72
  Rob Kleffner authored Dec 23, 2020
  
  c74e4e72
- Adding type class utilities · d2aa5d68
  Rob Kleffner authored Dec 23, 2020
  
  d2aa5d68
- Type class tests pass · 63e3cff6
  Rob Kleffner authored Dec 22, 2020
  
  63e3cff6
- All basic HM tests pass again · 1408bc65
  Rob Kleffner authored Dec 22, 2020
  
  1408bc65
Dec 22, 2020
- f# version of type inference with type classes now compiles, time for testing · b06e6313
  Rob Kleffner authored Dec 22, 2020
  
  b06e6313
Dec 16, 2020
- Starting to try to make a type checker · ac811908
  Rob Kleffner authored Dec 15, 2020
  
  ac811908
Dec 06, 2020
- Remove failing tests · bb42da8c
  Rob Kleffner authored Dec 06, 2020
  
  bb42da8c
Dec 01, 2020
- Apparently dotnet core is still required for unit tests to run · 2e333da5
  Rob Kleffner authored Nov 30, 2020
  
  2e333da5
- Change .net version building against · dcf8b0bc
  Rob Kleffner authored Nov 30, 2020
  
  dcf8b0bc
- Remove specific configuration from build pipeline · dd8b654d
  Rob Kleffner authored Nov 30, 2020
  
  dd8b654d
- Some reorganization, adding a more specific GitLab ci pipeline · 3ff8b028
  Rob Kleffner authored Nov 30, 2020
  
  3ff8b028
- A little bit of simplification, more tests, all still passing · a9247dda
  Rob Kleffner authored Nov 30, 2020
  
  a9247dda
Nov 29, 2020
- Updating the kind checking procedure · e1d4a5bc
  Rob Kleffner authored Nov 29, 2020
  
  e1d4a5bc
- Adding some more checks to kinding algorithm · 3e02342e
  Rob Kleffner authored Nov 28, 2020
  
  3e02342e
- Undoing a debug modification · 53125601
  Rob Kleffner authored Nov 28, 2020
  
  53125601