AlexKnauth
|
42c231acda
|
use ≫ instead of ▶
|
2016-06-27 17:55:47 -04:00 |
|
AlexKnauth
|
3ad9fa2fb1
|
allow nested ⇒ arrows in the conclusion
|
2016-06-22 11:00:13 -04:00 |
|
AlexKnauth
|
961f32e6a2
|
factor out fail messages
|
2016-06-22 09:55:11 -04:00 |
|
AlexKnauth
|
11fb481f00
|
check against a possible existing type for ⇐s at the top
|
2016-06-22 09:05:51 -04:00 |
|
AlexKnauth
|
a7531326ea
|
fix nullable-EH-pat warning
|
2016-06-22 08:16:19 -04:00 |
|
AlexKnauth
|
f68323d846
|
simplify stlc+effect, mix left and right arrows
|
2016-06-21 21:26:21 -04:00 |
|
AlexKnauth
|
ec12db1f08
|
implement new syntax for parallel arrows and nested right arrows
|
2016-06-21 21:16:16 -04:00 |
|
AlexKnauth
|
b5541ae278
|
improve how patterns can refer to each other
|
2016-06-21 18:06:20 -04:00 |
|
AlexKnauth
|
3bc035fde1
|
start on typed-lang-builder
with stlc and stlc+lit
|
2016-06-20 16:10:01 -04:00 |
|