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

Name		Name	Last commit message	Last commit date
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

Navigation Menu

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

About

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages