GitHub - ms280690/Thesis-Proposal: The tex files along with other documents that form the Thesis Proposal

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 738 Commits
Thesis Outline.oo3		Thesis Outline.oo3
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
FunctorHierarchy.pdf		FunctorHierarchy.pdf
FunctorHierarchy.png		FunctorHierarchy.png
IOSketch.hs		IOSketch.hs
IOSketchM.hs		IOSketchM.hs
Language_Processing_System.gif		Language_Processing_System.gif
Language_Processing_System.png		Language_Processing_System.png
Leftovers		Leftovers
Makefile		Makefile
Phases_of_compiler.jpg		Phases_of_compiler.jpg
PrologAppendWorking.png		PrologAppendWorking.png
Prototype-1.pdf		Prototype-1.pdf
Prototype-2-diagram.pdf		Prototype-2-diagram.pdf
Prototype-3-diagram.pdf		Prototype-3-diagram.pdf
Title Page and Abstract for Embedding Programming Languages: PROLOG in HASKELL .docx		Title Page and Abstract for Embedding Programming Languages: PROLOG in HASKELL .docx
What I want to do.txt		What I want to do.txt
abstract.tex		abstract.tex
accomplishedWork.tex		accomplishedWork.tex
append.pl		append.pl
append_no_quasi.hs		append_no_quasi.hs
append_quasi_quote.hs		append_quasi_quote.hs
background.bbl		background.bbl
background.tex		background.tex
bibliography.bib		bibliography.bib
conclusion.bbl		conclusion.bbl
conclusion.tex		conclusion.tex
embedding.bbl		embedding.bbl
embedding.tex		embedding.tex
equip_base.sh		equip_base.sh
equip_ruby.sh		equip_ruby.sh
extended_data_type_1.pdf		extended_data_type_1.pdf
extended_data_type_1.png		extended_data_type_1.png
extended_data_type_2.pdf		extended_data_type_2.pdf
extended_data_type_2.png		extended_data_type_2.png
extended_data_type_example		extended_data_type_example
extended_data_type_example_2		extended_data_type_example_2
futureScope.bbl		futureScope.bbl
futureScope.tex		futureScope.tex
haskell-monad-working-2.hs		haskell-monad-working-2.hs
haskell-monad-working.hs		haskell-monad-working.hs
haskell-proto1-class-flat.hs		haskell-proto1-class-flat.hs
haskell-proto1-closed-terms.hs		haskell-proto1-closed-terms.hs
haskell-proto1-garfunkle.hs		haskell-proto1-garfunkle.hs
haskell-proto1-kinds-in-haskell.hs		haskell-proto1-kinds-in-haskell.hs
haskell-proto1-man-enhan-gram.hs		haskell-proto1-man-enhan-gram.hs
haskell-proto1-non-recurse.hs		haskell-proto1-non-recurse.hs
haskell-proto1-sample-terms.hs		haskell-proto1-sample-terms.hs
haskell-proto1-unify-driver.hs		haskell-proto1-unify-driver.hs
haskell-proto1-unify-monad.hs		haskell-proto1-unify-monad.hs
haskell-proto1-unify-out.hs		haskell-proto1-unify-out.hs
haskell-proto1-utermify-frog.hs		haskell-proto1-utermify-frog.hs
haskell-proto1-var-extract.hs		haskell-proto1-var-extract.hs
haskell-proto1-vtermify-goat.hs		haskell-proto1-vtermify-goat.hs
haskell-proto1-zip-flat.hs		haskell-proto1-zip-flat.hs
haskell-proto2-clean-lemur.hs		haskell-proto2-clean-lemur.hs
haskell-proto2-fix-flattened.hs		haskell-proto2-fix-flattened.hs
haskell-proto2-flattened-instances.hs		haskell-proto2-flattened-instances.hs
haskell-proto2-flattened-rarefy.hs		haskell-proto2-flattened-rarefy.hs
haskell-proto2-hearty-kayo.hs		haskell-proto2-hearty-kayo.hs
haskell-proto2-monadic-unification-conversion.hs		haskell-proto2-monadic-unification-conversion.hs
haskell-proto2-monadic-unification-functions.hs		haskell-proto2-monadic-unification-functions.hs
haskell-proto2-monadic-unification-tests-and-extraction.hs		haskell-proto2-monadic-unification-tests-and-extraction.hs
haskell-proto2-monadic-unification-translation.hs		haskell-proto2-monadic-unification-translation.hs
haskell-proto2-original-grammar.hs		haskell-proto2-original-grammar.hs
haskell-proto2-prlg-0201-unifier.hs		haskell-proto2-prlg-0201-unifier.hs
haskell-proto2-starry-forked.hs		haskell-proto2-starry-forked.hs
haskell-proto2-unification-lion.hs		haskell-proto2-unification-lion.hs
haskell-proto2-unify-type-signature.hs		haskell-proto2-unify-type-signature.hs
haskell-proto3-absurd-silicon.hs		haskell-proto3-absurd-silicon.hs
haskell-proto3-bevy-icebox.hs		haskell-proto3-bevy-icebox.hs
haskell-proto3-butter-chicken.hs		haskell-proto3-butter-chicken.hs
haskell-proto3-diatomic-unbank.hs		haskell-proto3-diatomic-unbank.hs
haskell-proto3-pentyl-skater.hs		haskell-proto3-pentyl-skater.hs
haskell-proto3-sudsy-woe.hs		haskell-proto3-sudsy-woe.hs
haskell-proto3-uplift-apart.hs		haskell-proto3-uplift-apart.hs
haskell-proto4-haskell-getLine.hs		haskell-proto4-haskell-getLine.hs
haskell-proto4-hybrid-construct.hs		haskell-proto4-hybrid-construct.hs
haskell-proto4-ioaction-datatype.hs		haskell-proto4-ioaction-datatype.hs
haskell-proto4-ioaction-example-do.hs		haskell-proto4-ioaction-example-do.hs
haskell-proto4-ioaction-example-output.hs		haskell-proto4-ioaction-example-output.hs
haskell-proto4-ioaction-example.hs		haskell-proto4-ioaction-example.hs
haskell-proto4-ioaction-monad.hs		haskell-proto4-ioaction-monad.hs
haskell-proto4-ioaction-run-output.hs		haskell-proto4-ioaction-run-output.hs
haskell-proto4-ioaction-run.hs		haskell-proto4-ioaction-run.hs
haskell-proto4-multi-type-variable-edsl.hs		haskell-proto4-multi-type-variable-edsl.hs
haskell-proto4-myrtle-uppers.hs		haskell-proto4-myrtle-uppers.hs
haskell-proto4-platen-winkel.hs		haskell-proto4-platen-winkel.hs
haskell-proto4-prlg-lang.hs		haskell-proto4-prlg-lang.hs
haskell-proto4-purvey-wincer.hs		haskell-proto4-purvey-wincer.hs
haskell-proto4-qq-prlg-in-hskll.hs		haskell-proto4-qq-prlg-in-hskll.hs
haskell-proto4-query-resolver-variable-search-strat.hs		haskell-proto4-query-resolver-variable-search-strat.hs
haskell-proto4-seqio-op.hs		haskell-proto4-seqio-op.hs
hwh.bbl		hwh.bbl
hwh.tex		hwh.tex
introduction.bbl		introduction.bbl
introduction.pyg		introduction.pyg
introduction.tex		introduction.tex
keys.el		keys.el

About

The tex files along with other documents that form the Thesis Proposal

Activity

0 stars

2 watching

0 forks

Report repository

Releases

7 tags

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

About

Uh oh!

Releases

Packages

Uh oh!

Contributors

Uh oh!

Languages

Folders and files

Latest commit

History

About

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors

Uh oh!

Languages

Packages