Skip to content

Commit

Permalink
olty: switch to higher-order semantic types
Browse files Browse the repository at this point in the history 
Also switch experiments, but now we must merge both experiments and introduce
higher-order type members and kinds.
  • Loading branch information
@Blaisorblade
Blaisorblade committed Jul 8, 2019
1 parent 2dc9b07 commit 74d3c46
Show file tree
Hide file tree
Showing 2 changed files with 172 additions and 142 deletions.

0 comments on commit 74d3c46

Please sign in to comment.