Issues
- 2
- 2
module syntax line not correctly ended
#19 opened by maxzinkus - 1
--ide support?
#16 opened by cpitclaudel - 0
Syntax highlighting is wrong for comments
#17 opened by tyilo - 2
Opening a FStar file raises an exception
#15 opened by anithag - 3
Interactive Feature is Unusable
#12 opened by mlr-msft - 0
- 1
Interactive mode is broken
#10 opened by ngrimm