Show HN: Peridot – A functional language based on two-level type theory https://github.com/eashanhatti/peridot
Please Login to reply.
No replies yet.