-
- Downloads
changes from friday, first try at new unification
This should not be as important any more as philipp fixed this issue in the master branch allready using another aproach, but at some point in the future i would like to fix all of this.
Showing
- .gitmodules 3 additions, 0 deletions.gitmodules
- dhall-lang 1 addition, 0 deletionsdhall-lang
- lib/ast.rb 3 additions, 1 deletionlib/ast.rb
- lib/stdlib.rb 192 additions, 1 deletionlib/stdlib.rb
- lib/types.rb 94 additions, 72 deletionslib/types.rb
- lib/utils.rb 1 addition, 1 deletionlib/utils.rb
- tests/test.rb 10 additions, 1 deletiontests/test.rb
Loading
Please register or sign in to comment