liftT toegevoegd
authorMart Lubbers <mart@martlubbers.net>
Sat, 23 Apr 2016 12:35:25 +0000 (14:35 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sat, 23 Apr 2016 12:35:25 +0000 (14:35 +0200)
commitdb5038e77428fe6a74d469535d35ce68afcc2e83
tree80bf34e111030875d94308ed9e508be2598c4d43
parent5573b4ce8215a277a82146a8dae4c4e7ef205bd8
liftT toegevoegd
RWST.dcl
RWST.icl
sem.icl