Author Commit Message Labels Comments Date
David Lazar avatarDavid Lazar
Remove generic-k since it now has its own repository: https://github.com/davidlazar/generic-k
David Lazar avatarDavid Lazar
Add a README.
David Lazar avatarDavid Lazar
Desugar tuples.
David Lazar avatarDavid Lazar
Desugar list patterns.
David Lazar avatarDavid Lazar
Desugar patterns with infix data constructors.
David Lazar avatarDavid Lazar
Desugar (pat) to pat.
David Lazar avatarDavid Lazar
Rename variable Q to QOp.
David Lazar avatarDavid Lazar
Rename variable QN to QName.
David Lazar avatarDavid Lazar
Fix earlier fix: missing underscore in KLabel used in side condition.
David Lazar avatarDavid Lazar
Add some test cases and a test harness.
David Lazar avatarDavid Lazar
Use an environment variable ($HASKELL_SEMANTICS) to specify the location of compiled K definitions.
David Lazar avatarDavid Lazar
Remove unnecessary space.
David Lazar avatarDavid Lazar
Add a missing side condition (causing equation (d) to not be applied) to the catch-all case equation.
David Lazar avatarDavid Lazar
Remove extra space in comment.
David Lazar avatarDavid Lazar
Switch from the "<_/k>" syntax to the "...</k>" for open cells.
David Lazar avatarDavid Lazar
Update the semantics to use the new hash builtins (e.g., Int -> #Int).
David Lazar avatarDavid Lazar
Fix bug in case semantics causing where clauses to be discarded.
David Lazar avatarDavid Lazar
Handle operators/symbols when desugaring function bindings.
David Lazar avatarDavid Lazar
Rename the variable Type to MaybeType wherever the sort Maybe Type is expected.
David Lazar avatarDavid Lazar
Skip over data declarations (for now).
David Lazar avatarDavid Lazar
Make the abstract tuple syntax strict and hybrid.
David Lazar avatarDavid Lazar
Attempt to improve pretty-printing using a custom style and mode.
David Lazar avatarDavid Lazar
Use parseFileContents, which handles LANGUAGE pragmas, instead of parseModule in hs2k.
David Lazar avatarDavid Lazar
Fix incorrect side condition in equation (b) of the formal semantics of case expressions.
David Lazar avatarDavid Lazar
Fix bug due to typo in the equation for desugaring lambda abstractions.
David Lazar avatarDavid Lazar
Desugar lambda abstractions.
David Lazar avatarDavid Lazar
Desugar floating point literals.
David Lazar avatarDavid Lazar
Implement equation (d).
David Lazar avatarDavid Lazar
Desugar list literals.
David Lazar avatarDavid Lazar
Add import to FromK.hs so it compiles with earlier versions of GHC/base.
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.