search

andrew-johnson-4 / lambda-mountain

Compiler Backend for LSTS (Typed Macro Assembler)
https://andrew-johnson-4.github.io/lambda-mountain/
MIT License
20 stars 1 forks source link

Add an easy way to coerce a type into a Tagged case #975

Closed andrew-johnson-4 closed 5 days ago

andrew-johnson-4 commented 5 days ago

Lean on quick-props now.

(as x Tag::Case)