2016-04-23 | Mart Lubbers | liftT toegevoegd | blob | commitdiff | raw |
2016-04-22 | pimjager | Merge branch 'generation' | blob | commitdiff | raw | diff to current |
2016-04-20 | Mart Lubbers | small update, inference | blob | commitdiff | raw | diff to current |
2016-04-15 | Mart Lubbers | started with new typechecker | blob | commitdiff | raw | diff to current |
2016-04-15 | Mart Lubbers | RWS done | blob | commitdiff | raw | diff to current |
2016-04-15 | Mart Lubbers | rwst done, rws to go | blob | commitdiff | raw | diff to current |