Skip to content

wradstok/HaSQL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

HaSQL

Students
5676304
5687101
5692024
5601118
5620724
5666503

Running

Use Stack to run the application:

stack run

The examples mentioned in the report are located in the examples/ directory. They can be run by passing them through STDIN:

stack run < examples/decouple.hasql

Additional examples are available in AST form, located in src/lib.hs.

Project structure

All source files are contained in the src directory. This contains the following files:

File Description
Algebra.hs This contains the algebraic definition used in the fold over the AST
Static.hs Contains the code for the Static Semantics
Dynamic.hs Contains the code representing the Dynamic Semantics for code generation
Lib.hs Contains examples to be run
Syntax.hs Contains the Abstract syntax of our language in Haskell Data types

About

UU Concepts of Program Design 2018-2019

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •