Functor operations on terms and types - Githubissues

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)

MIT License

11 stars 0 forks source link

Functor operations on terms and types #525

Open andrew-johnson-4 opened 4 days ago

andrew-johnson-4 commented 4 days ago

specialization or deep copy can be implemented as simple functors