technique-lang/technique
Check, simulate, and run procedures written in the Technique procedures language.
RustMIT
Issues
- 1
Not finished yet
#15 opened by istathar - 1
Proposal, Range/Relation types for tracking Source/Domain mappings instead of direct Source Offsets
#38 opened by jaesharp - 1
Top level values should not need to be functions
#33 opened by istathar - 0
Trailing whitespace not being consumed, resulting in not seeing unexpected newline
#26 opened by istathar - 0
Linear syntax for bindings not working
#16 opened by istathar - 0
Really long compile time for Technique.Parser
#21 opened by istathar - 0
choice builtin needs to be stubbed
#27 opened by istathar - 0
Declaring enumerations without ordinal
#32 opened by istathar - 0
Tuple of variables doesn't seem to register
#25 opened by istathar - 1
Use parser error output for translation phase
#20 opened by istathar - 0
Wrong offset information for declared procedures
#24 opened by istathar - 0
Add golden tests
#18 opened by istathar