Source

smithery/takoeight0821

1 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

sequent-calculus Surface → IR translation rules and IR reduction semantics for Ziku's λμμ̃-calculus based intermediate representation.…

smithery/takoeight0821