Ticket #448 (new enhancement)

Opened 5 years ago

Try the finally tagless approach for shell

Reported by: blamario Owned by:
Priority: major Milestone:
Component: Shell Version: 0.5
Keywords: Cc:

Description

The shell type system should be embeddable using the finally tagless approach.

Also see http://lambda-the-ultimate.org/node/2438

Note: See TracTickets for help on using tickets.