27 ms·
Well, there is Shen which has a novel type system based on the sequent calculus: http://shenlanguage.org/ http://shenlanguage.org/
by handojin 8y ago
Well, there is Shen which has a novel type system based on the sequent calculus:
http://shenlanguage.org/ http://shenlanguage.org/