Skip to content

Releases: andrew-johnson-4/lambda-mountain

1.20.42

24 Jan 18:31
c732b47
Compare
Choose a tag to compare

Features:

  • Type Aliases

1.20.41

23 Jan 03:24
2e8c4a8
Compare
Choose a tag to compare

Features:

  • if let syntax works in lsts

1.20.39

23 Jan 00:52
87731d0
Compare
Choose a tag to compare

Features:

  • simplify global indexes in compiler
  • arity sensitive constructors work!

1.20.34

22 Jan 02:39
564ef42
Compare
Choose a tag to compare

Features

  • Remove 1 index that was deprecated
  • port 1 index to use arity sensitive types

1.20.31

21 Jan 01:11
124a05e
Compare
Choose a tag to compare

Features:

  • port a few more functions to LSTS
  • remove some unused functions and 1 type definition for a specialized list

1.20.30

19 Jan 21:24
fd24671
Compare
Choose a tag to compare

Features:

  • use quick props to infer some properties instead of hard-coded logic
  • remove 3 type-set operations for old information
  • 10% speedup
  • -200 lines of code

1.20.29

19 Jan 20:49
bf93108
Compare
Choose a tag to compare

Features:

  • port some more lm code to lsts
  • create a unit for type inference with some tests
  • improve performance of quick-props by reducing scope of inference wrt type parameters
  • 15% speed improvement

1.20.27

19 Jan 03:05
41b7710
Compare
Choose a tag to compare

Features

  • port some more code from lm to lsts
  • remove GNU-X86 backend (would need significant work to start working again: needs a full rewrite)

1.20.26

18 Jan 20:44
f6818f4
Compare
Choose a tag to compare

Features:

  • Port some more functionality to LSTS
  • remove some dead code (10% speed up to self-compilation)

1.20.24

18 Jan 03:13
ba90cd7
Compare
Choose a tag to compare

Features:

  • port a the core Fragment logic to LSTS
  • remove a specialized list definition in favor of a generic one