search

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

Allow any `MonadState m` in reification #23

Closed emwap closed 9 years ago