Skip to content

Commit 2189e05

Browse files
gallaisgallais
committed
[ new ] support for better scopechecker errors
1 parent cdaebf8 commit 2189e05

58 files changed

Lines changed: 42 additions & 21 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

doc/ACM-Reference-Format.bst renamed to doc/icfp18/ACM-Reference-Format.bst

File renamed without changes.

doc/Generic.lagda renamed to doc/icfp18/Generic.lagda

File renamed without changes.

doc/Generic/AltSyntax.lagda renamed to doc/icfp18/Generic/AltSyntax.lagda

File renamed without changes.

doc/Generic/Bisimilar.lagda renamed to doc/icfp18/Generic/Bisimilar.lagda

File renamed without changes.

doc/Generic/Cofinite.lagda renamed to doc/icfp18/Generic/Cofinite.lagda

File renamed without changes.

doc/Generic/Data.lagda renamed to doc/icfp18/Generic/Data.lagda

File renamed without changes.

doc/Generic/Examples/Colist.lagda renamed to doc/icfp18/Generic/Examples/Colist.lagda

File renamed without changes.

doc/Generic/Examples/ElaborationLet.lagda renamed to doc/icfp18/Generic/Examples/ElaborationLet.lagda

File renamed without changes.

doc/Generic/Examples/ElaborationLets.lagda renamed to doc/icfp18/Generic/Examples/ElaborationLets.lagda

File renamed without changes.

doc/Generic/Examples/ElaborationState.lagda renamed to doc/icfp18/Generic/Examples/ElaborationState.lagda

File renamed without changes.

0 commit comments

Comments
 (0)