1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-23 03:32:09 +03:00
Idris2/libs/contrib/Text
2021-02-24 11:07:16 +00:00
..
Lexer Some cleanup was done. Changed code is mosly equivalent to the former. 2021-02-16 19:05:33 +00:00
Parser [ fix ] desugar non-binding sequencing in do blocks to (>>) () 2021-02-24 11:07:16 +00:00
PrettyPrint [ fix ] Normalise primitives in mkPat () 2020-10-02 12:22:57 +01:00
Lexer.idr Some cleanup was done. Changed code is mosly equivalent to the former. 2021-02-16 19:05:33 +00:00
Parser.idr [ fix ] desugar non-binding sequencing in do blocks to (>>) () 2021-02-24 11:07:16 +00:00
Quantity.idr Add libraries 2020-05-18 14:00:08 +01:00
Token.idr [ fix ] RigCount for interface parameters () 2020-12-11 11:58:26 +00:00