ice1000 icon indicating copy to clipboard operation
ice1000 copied to clipboard

Published 20 hours ago • verified publisher icon Trebor-Huang

What's this?

Open ice1000 opened this issue 2 years ago • 4 comments

o menel aglar elenath!

ice1000 avatar Apr 15 '22 17:04 ice1000

Dunno, any ideas? First of all I don't want to implement type checkers.

Trebor-Huang avatar Apr 17 '22 15:04 Trebor-Huang

I think this will be a repo about polarized (linear maybe) language

Trebor-Huang avatar Apr 20 '22 17:04 Trebor-Huang

And yes it will contain a typechecker, :(

Trebor-Huang avatar Apr 20 '22 17:04 Trebor-Huang

https://www.youtube.com/watch?v=vb1ZS6lMFuk

ice1000 avatar Apr 21 '22 03:04 ice1000