Skip to content
Snippets Groups Projects
Select Git revision
  • c773c3a2ee3a2f509f3b656c624f703f52856578
  • master default protected
  • new-unificator
3 results

ruby-dhallish

Philipp Panzer's avatar
Philipp Panzer authored
Use unique objects as a represantation for type-variables. This solves the problem of more type-variables with the same name. See lib/stdlib for an explanation on how to create types for stdlib-functions now.
c773c3a2
History
Name Last commit Last update