[%] 제가 하던 고민, 이미 누가 해결책 만들어 놓았네요.

[기괴공학도(mecheng98)]

Twelf라는 언어에서 Input/Output notation이라는 걸 써서 제가 한 고민을 해결했다고 해요.

[익명(106.102)]

제가 찾던 고민 여기있네요^^